Search results: Sage Journals

Open accessResearch articleFirst published May, 2010

PaMiraXT: Parallel SAT Solving with Threads and Message Passing

Tobias Schubert, Matthew Lewis, Bernd Becker

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published June, 1970

Norman R. F. Maier, Gertrude G. Casselman

Psychological Reports

Open accessResearch articleFirst published May, 2010

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published August, 2010

Takehide Soh, Katsumi Inoue, Naoyuki Tamura [...]

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 May, 2008

Marijn Heule, Hans van Maaren

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published May, 2019

Mourad Lassouaoui, Dalila Boughaci, Belaid Benhamou

Intelligent Decision Technologies

Open accessResearch articleFirst published February, 2006

Marijn J.H. Heule, Hans van Maaren

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published August, 2006

Martin Fränzle, Christian Herde, Tino Teige [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open accessEditorialFirst published May, 2010

Youssef Hamadi

Journal on Satisfiability,Boolean Modelling and Computation