New Techniques that Improve MACE-style Finite Model Finding (2003)
Cached
Download Links
by
Koen Claessen
| Venue: | Proceedings of the CADE-19 Workshop: Model Computation - Principles, Algorithms, Applications |
| Citations: | 41 - 1 self |
BibTeX
@INPROCEEDINGS{Claessen03newtechniques,
author = {Koen Claessen},
title = {New Techniques that Improve MACE-style Finite Model Finding},
booktitle = {Proceedings of the CADE-19 Workshop: Model Computation - Principles, Algorithms, Applications},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 64 | SEM: A system for enumerating models - Zhang, Zhang - 1995 |
| 54 | Cha#: Engineering an e#cient sat solver - Moskewicz, Madigan, et al. - 2001 |
| 32 | Splitting without Backtracking - Riazanov, Voronkov |
| 13 | A Davis-Putnam program and its application to model search - McCune - 1994 |
| 8 | The eXtended Least Number Heuristic - Audemard, Henocque |
| 5 | Generating models by SEM - Zhang, Zhang - 1996 |
| 4 | Satire: A new incremental satis engine - Whittemore, Kim, et al. - 2001 |
| 3 | A Comparison of Dierent Techniques for Grounding NearPropositional CNF Formulae - Schulz - 2001 |
| 1 | A machine program for theorem proving - Putnam, Logeman - 1962 |
| 1 | Webpage momentarily unknown. Available from tammet @sta.ttu.ee - Gandalf - 2002 |
