Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 489-494
- https://doi.org/10.1007/3-540-45349-0_36
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Using Randomization and Learning to Solve Hard Real-World Instances of SatisfiabilityPublished by Springer Nature ,2000
- GRASP: a search algorithm for propositional satisfiabilityIEEE Transactions on Computers, 1999
- SATO: An efficient propositional proverLecture Notes in Computer Science, 1997
- Using CSP look-back techniques to solve exceptionally hard SAT instancesPublished by Springer Nature ,1996