Results 281 to 290 of about 235,564 (296)
Some of the next articles are maybe not open access.
Hardware Accelerated SAT Solvers—A Survey
Journal of Parallel and Distributed Computing, 2017Mohamed Hassan +2 more
exaly
SAT and ACT Predict College GPA After Removing g
Intelligence, 2008David R. Pillow, Thomas R. Coyle
exaly
A Logical Approach to Efficient Max-SAT Solving
Artificial Intelligence, 2008Francisco Javier Larrosa Bondia
exaly
Overview and Analysis of the SAT Challenge 2012 Solver Competition
Artificial Intelligence, 2015Carsten Sinz +2 more
exaly

