Search results: Sage Journals

Open accessResearch articleFirst published November, 2011

Successful SAT Encoding Techniques

Magnus Björk

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published May, 2008

Josep Argelich, Chu-Min Li, Felip Manyà [...]

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published May, 2015

Brenda Hannon

Hispanic Journal of Behavioral Sciences

Open accessResearch articleFirst published June, 2019

Marijn J. H. Heule, Matti Järvisalo, Martin Suda

Journal on Satisfiability,Boolean Modelling and Computation

Available accessOtherFirst published February, 2011

Josep Argelich

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published February, 2006

Armin Biere, Carsten Sinz

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published February, 2006

Niklas Eén, Niklas Sörensson

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published February, 2012

Huan Chen, Joao Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published August, 2012

Allen Van Gelder

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published May, 2010

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

The European Journal on Artificial Intelligence