Sage Journals: Discover world-class research

Open access

Research article

First published 2019-6

CAQE and QuAbS: Abstraction Based QBF Solvers

Leander Tentrup

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

Report of the Third QBF Solvers Evaluation 1

Massimo Narizzano, Luca Pulina, Armando Tacchella

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-5

DepQBF : A Dependency-Aware QBF Solver

Florian Lonsing, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-5

QuBE7.0

Enrico Giunchiglia, Paolo Marin, Massimo Narizzano

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2014-6

QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games

Mikoláš Janota, Charles Jordan, Will Klieber [...]

Journal on Satisfiability,Boolean Modelling and Computation

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

The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation 1

Ralf Wimmer, Christoph Scholl, Bernd Becker

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2016

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows

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

Fundamenta Informaticae

Retricted access

Research article

First published 2015-5

Verification of partial designs using incremental QBF

Christian Miller, Paolo Marin, Bernd Becker

The European Journal on Artificial Intelligence

Open access

Research article

First published 2019-6

QBFRelay,QRATPre+,and DepQBF : Incremental Preprocessing Meets Search-Based QBF Solving

Florian Lonsing

Journal on Satisfiability,Boolean Modelling and Computation

Search results