Conference Papers
Year : 2006
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
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⟩
Collections
45
View
0
Download