Filter your results
- 3
- 2
- 1
- 3
- 3
- 3
- 3
- 3
- 1
- 3
- 3
- 1
|
|
sorted by
|
Constraint Retraction in FDConference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 1996, Hyderabad, India. pp.ND, ⟨10.1.1.48.9662⟩
Conference papers
hal-00668318v1
|
|||
Compiling Constraints in clp(FD)Journal of Logic Programming, 1996, 27 (3), pp.185-226
Journal articles
hal-00693245v1
|
|||
A Simple and Efficient Boolean Solver for Constraint Logic ProgrammingJournal of Automated Reasoning, 1996, 17 (1), pp.97-129
Journal articles
hal-00693251v1
|