From Satisfiability to Consistency through Certificates. Application to Partially Defined Constraints

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00085495
Contributor : Arnaud Lallouet <>
Submitted on : Wednesday, July 12, 2006 - 3:58:17 PM
Last modification on : Thursday, January 17, 2019 - 3:06:06 PM

Identifiers

  • HAL Id : hal-00085495, version 1

Collections

Citation

Arnaud Lallouet, Andrei Legtchenko. From Satisfiability to Consistency through Certificates. Application to Partially Defined Constraints. 2006, pp.?-?. ⟨hal-00085495⟩

Share

Metrics

Record views

84