Results 241 to 250 of about 137,934 (261)
Some of the next articles are maybe not open access.

A comprehensive study and analysis on SAT-solvers: advances, usages and achievements

Artificial Intelligence Review, 2018
Sahel Alouneh   +2 more
exaly  

Anti-SAT: Mitigating SAT Attack on Logic Locking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019
, Ankur Srivastava
exaly  

SAT and ACT predict college GPA after removing g

Intelligence, 2008
Thomas R Coyle, David R Pillow
exaly  

Hardware accelerated SAT solvers—A survey

Journal of Parallel and Distributed Computing, 2017
Ali Asgar Sohanghpurwala   +2 more
exaly  

Resolution for Max-SAT

Artificial Intelligence, 2007
Maria Luisa Bonet   +2 more
exaly  

Home - About - Disclaimer - Privacy