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

Open accessResearch articleFirst published May, 2010

Tobias Schubert, Matthew Lewis, Bernd Becker

Journal on Satisfiability,Boolean Modelling and Computation

Retricted accessResearch articleFirst published October, 1991

G. R. Boynton, Chong Lim Kim

Journal of Theoretical Politics

Retricted accessResearch articleFirst published June 1, 1996

Yasuichi Nakayama, Tadafumi Akazawa, Kohei Noshita

ICGA Journal: The Journal of the Computer Games Community

Retricted accessOtherFirst published March, 1989

Swarn P. Kumar

The International Journal of High Performance Computing Applications

Open accessResearch articleFirst published May, 2008

Marijn Heule, Hans van Maaren

Journal on Satisfiability,Boolean Modelling and Computation

Retricted accessResearch articleFirst published December, 1993

Soren S. Nielsen, Stavros A. Zenios

The International Journal of High Performance Computing Applications

Retricted accessResearch articleFirst published August, 1998

Tim O. Peterson, Dale A. Lunsford

Journal of Management Education

Available accessResearch articleFirst published December 23, 2019

Andrzej Siemiński, Marek Kopel

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted accessResearch articleFirst published May, 2020

Sébastien Cayrols, Iain S Duff, Florent Lopez

The International Journal of High Performance Computing Applications