Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-2

Parallel QBF Solving with Advanced Knowledge Sharing

Matthew Lewis, Tobias Schubert, Bernd Becker [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Expansion-based QBF Solving on Tree Decompositions *

Günther Charwat, Stefan Woltran

Fundamenta Informaticae

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

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

Open access

Research article

First published 2019-6

CAQE and QuAbS: Abstraction Based QBF Solvers

Leander Tentrup

Journal on Satisfiability,Boolean Modelling and Computation

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 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 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 2003-10

Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes

Artiom Alhazov, Carlos Martín-Vide, Linqiang Pan

Fundamenta Informaticae

Search results