Search results: Sage Journals

Available accessResearch articleFirst published May, 2010

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras [...]

The European Journal on Artificial Intelligence

Free accessResearch articleFirst published February, 2010

Filip Marić, Predrag Janičić

Informatica: An International Journal of Computing and Informatics

Open accessResearch articleFirst published June, 2024

Olaf Beyersdorff, Tim Hoffmann, Luc N. Spachmann

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published May, 2008

Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published September, 2007

Zenon Sadowski

Fundamenta Informaticae

Available accessResearch articleFirst published June 1, 2013

Marko Maliković, Predrag Janičić

ICGA Journal: The Journal of the Computer Games Community

Open accessResearch articleFirst published February, 2009

Eugene Goldberg

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published June, 2016

Mikoláš Janota

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 October, 1966

W. A. Greene, H. D. Kimmel

Psychological Reports