Sage Journals: Discover world-class research

Open access

Research article

First published 2015-5-4

Reasoning in abstract dialectical frameworks using quantified Boolean formulas

Martin Diller, Johannes Peter Wallner, Stefan Woltran

Argument & Computation

Open access

Research article

First published 2006-2

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages 1

Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2012-2

Encoding Nested Boolean Functions as Quantified Boolean Formulas

Uwe Bubeck, Hans Kleine Büning

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2007-8

An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas

Hans Kleine Büning, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2003-5

Expressing default abduction problems as quantified Boolean formulas

Hans Tompits

The European Journal on Artificial Intelligence

Retricted access

Other

First published 2010-2

Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning

Luca Pulina

The European Journal on Artificial Intelligence

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 2024-6

The Riis Complexity Gap for QBF Resolution

Olaf Beyersdorff, Judith Clymo, Stefan Dantchev [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2009-2

QBF-Based Formal Verification: Experience and Perspectives

Marco Benedetti, Hratch Mangassarian

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2009-11

Evaluating and certifying QBFs: A comparison of state-of-the-art tools

Massimo Narizzano, Claudia Peschiera, Luca Pulina [...]

The European Journal on Artificial Intelligence

Search results