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

Arnaud Lallouet; Andrei Legtchenko

Conference Papers Year : 2006

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

(1) , (1)

1

Arnaud Lallouet

Function : Author
PersonId : 834331

Laboratoire d'Informatique Fondamentale d'Orléans

Andrei Legtchenko

Function : Author
PersonId : 834332

Laboratoire d'Informatique Fondamentale d'Orléans

Domains

Artificial Intelligence [cs.AI]

Arnaud Lallouet : Connect in order to contact the contributor

https://hal.science/hal-00085495

Submitted on : Wednesday, July 12, 2006-3:58:17 PM

Last modification on : Saturday, June 25, 2022-10:10:48 AM

Dates and versions

hal-00085495 , version 1 (12-07-2006)

Identifiers

HAL Id : hal-00085495 , version 1

Cite

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

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share