Results 251 to 260 of about 103,181 (262)
Some of the next articles are maybe not open access.
On the power of clause-learning SAT solvers as resolution engines
Artificial Intelligence, 2011exaly
On the power of clause-learning SAT solvers as resolution engines
Artificial Intelligence, 2011