Results 281 to 290 of about 235,564 (296)
Some of the next articles are maybe not open access.

Simple Algorithm Portfolio for SAT

Artificial Intelligence Review, 2013
Filip Marić   +2 more
exaly  

Resolution for Max-SAT

Artificial Intelligence, 2007
Jorge Levy Diaz   +2 more
exaly  

Hardware Accelerated SAT Solvers—A Survey

Journal of Parallel and Distributed Computing, 2017
Mohamed Hassan   +2 more
exaly  

SAT and ACT Predict College GPA After Removing g

Intelligence, 2008
David R. Pillow, Thomas R. Coyle
exaly  

A Logical Approach to Efficient Max-SAT Solving

Artificial Intelligence, 2008
Francisco Javier Larrosa Bondia
exaly  

Overview and Analysis of the SAT Challenge 2012 Solver Competition

Artificial Intelligence, 2015
Carsten Sinz   +2 more
exaly  

Home - About - Disclaimer - Privacy