Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability (2001)
Cached
Download Links
- [www.cs.rice.edu]
- [www.mrg.dist.unige.it]
- [www.mrg.dist.unige.it]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proc. of IJCAR 2001, volume 2083 of LNCS |
| Citations: | 22 - 11 self |
BibTeX
@INPROCEEDINGS{Giunchiglia01evaluatingsearch,
author = {E. Giunchiglia and M. Maratea and A. Tacchella and D. Zambonin},
title = {Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability},
booktitle = {In Proc. of IJCAR 2001, volume 2083 of LNCS},
year = {2001},
pages = {347--363},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper is devoted to the experimental evaluation of several state-ofthe -art search heuristics and optimization techniques in propositional satisfiability (SAT). The test set consists of random 3CNF formulas as well as real world instances from planning, scheduling, circuit analysis, bounded model checking, and security protocols. All the heuristics and techniques have been implemented in a new library for SAT, called SIM. The comparison is fair because in SIM the selected heuristics and techniques are realized on a common platform. The comparison is significative because SIM as a solver performs very well when compared to other state-of-the-art solvers. 1
