Search results

Articles (5)

Journals (0)

1-5 of 5 results for QBF preprocessing

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2010-8

An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing

Luca Pulina, Armando Tacchella

Fundamenta Informaticae

Open access

Research article

First published 2019-6

Florian Lonsing

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2019-6

Ralf Wimmer, Christoph Scholl, Bernd Becker

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2015-5

Christian Miller, Paolo Marin, Bernd Becker

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2016

Paolo Marin, Massimo Narizzano, Luca Pulina [...]

Fundamenta Informaticae