Logical Cryptanalysis as a SAT Problem
Journal of Automated Reasoning
Modelling More Realistic SAT Problems
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
CL '00 Proceedings of the First International Conference on Computational Logic
Equivalent literal propagation in the DLL procedure
Discrete Applied Mathematics - The renesse issue on satisfiability
Discrete Applied Mathematics
Hiding satisfying assignments: two are better than one
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Hiding satisfying assignments: two are better than one
Journal of Artificial Intelligence Research
Hi-index | 0.00 |