Search results: Sage Journals

Available accessResearch articleFirst published February, 2011

Parallel QBF Solving with Advanced Knowledge Sharing

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

Fundamenta Informaticae

Available accessResearch articleFirst published 2019

Günther Charwat, Stefan Woltran

Fundamenta Informaticae

Open accessResearch articleFirst published June, 2019

Florian Lonsing

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published June, 2014

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

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published June, 2019

Leander Tentrup

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published May, 2015

Christian Miller, Paolo Marin, Bernd Becker

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published May, 2011

Florian Lonsing, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published June, 2019

Ralf Wimmer, Christoph Scholl, Bernd Becker

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published 2016

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

Fundamenta Informaticae

Available accessResearch articleFirst published October, 2003

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

Fundamenta Informaticae