7628 search results - page 135 / 1526 » Automatic Generation of the C |
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
SG
2010
Springer
15 years 9 months ago
2010
Springer
138
click to vote
CP
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...