351 search results - page 8 / 71 » On the Learnability of Boolean Formulae |
141
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
143
Voted
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
