Searching for authors named "Philippe Chatalic" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Davis and Putnam 40 years later: a first experimentation.
- …This paper presents an experimental study of the very popular Davis and Putnam procedure, as stated in its original version of 1960. Though widely acknowledged in the literature as inecient, it seems that no real experimental study has been conducted to test this procedure in a practical way and to …
- Add To MetaCart
-
SatEx: A Web-based Framework for SAT Experimentation
- …SatEx is a web site devoted to SAT experimentation. It is not only a front end to a database gathering an exhaustive number of executions, but it also allows dynamic results synthesis as well as detailed explorations of experimentation results. Being dynamically generated and constantly updated…
- Cited by 12 (3 self) – Add To MetaCart
-
ZRes: The old Davis-Putnam procedure meets ZBDD
- …. ZRes is a propositional prover based on the original procedure of Davis and Putnam, as opposed to its modied version of Davis, Logeman and Loveland, on which most of the current ecient SAT provers are based. On some highly structured SAT instances, such as the well known Pigeon Hole and Urquha…
- Cited by 12 (1 self) – Add To MetaCart
-
Multi-Resolution on Compressed Sets of Clauses
- …This paper presents a system based on new operators for handling sets of propositional clauses represented by means of ZBDDs. The high compression power of such data structures allows efficient encodings of structured instances. A specialized operator for the distribution of sets of clauses is intro…
- Cited by 26 (4 self) – Add To MetaCart
Showing 1 through 4.
