Towards Improving the Resource Usage of SAT-solvers.
Norbert MantheyAri SaptawijayaPublished in: POS@SAT (2010)
Keyphrases
- sat solvers
- resource usage
- resource management
- propositional satisfiability
- resource allocation
- orders of magnitude
- sat problem
- max sat
- sat instances
- constraint satisfaction
- search strategies
- search space
- sat solving
- real time
- resource consumption
- sat encodings
- weighted max sat
- resource sharing
- clause learning
- resource utilization
- data structure
- genetic algorithm