193 search results - page 16 / 39 » sat 2007 |
IS
2007
14 years 9 months ago
2007
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...
VLSID
2007
IEEE
15 years 9 months ago
2007
IEEE
The robustness of engines for ATPG has to be improved to cope with the growing size of circuits. Recently, SAT-based ATPG approaches have been shown to be very robust even on larg...
STOC
2007
ACM
15 years 9 months ago
2007
ACM
We show that, assuming the Unique Games Conjecture, it is NPhard to approximate MAX 2-SAT within LLZ + , where 0.9401 < LLZ < 0.9402 is the believed approximation ratio of t...
SAT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G2 WSAT deterministically ...
DAM
2007
14 years 9 months ago
2007
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...