Skip to Main content Skip to Navigation
Conference papers

Eliminating Redundant Clauses in Sat Instances

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00199309
Contributor : Francois Chevallier Connect in order to contact the contributor
Submitted on : Tuesday, December 18, 2007 - 5:09:42 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:17 AM

Identifiers

  • HAL Id : hal-00199309, version 1

Collections

Citation

Olivier Fourdrinoy, Eric Gregoire, Bertrand Mazure, Lahkdar Sais. Eliminating Redundant Clauses in Sat Instances. The Third International Conference on Integration of AI and OR Techniques 4th International Conference on Integration of AI and OR Techniques in Cons(CPAIOR'07), Jun 2007, Brussels, Belgium. pp.71-83. ⟨hal-00199309⟩

Share

Metrics

Record views

150