Extracting a Consistency Operator from a Constraint Satisfiability Function and Application to Partially Defined Constraints - Archive ouverte HAL Access content directly
Conference Papers Year : 2006

Extracting a Consistency Operator from a Constraint Satisfiability Function and Application to Partially Defined Constraints

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00085492 , version 1

Cite

Arnaud Lallouet, Andrei Legtchenko. Extracting a Consistency Operator from a Constraint Satisfiability Function and Application to Partially Defined Constraints. Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming, 2006, Portugal. ⟨hal-00085492⟩
51 View
0 Download

Share

Gmail Facebook X LinkedIn More