3 search results - page 1 / 1 » Learning to Integrate Deduction and Search in Reasoning abou... |
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
JAIR
2006
13 years 4 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
JAR
2000
13 years 4 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...