Search - Université Paris 1 Panthéon-Sorbonne Access content directly

Filter your results

3 Results
Structure: Internal structure identifier : 252578

Constraint Retraction in FD

Philippe Codognet , Daniel Diaz , Francesca Rossi
Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 1996, Hyderabad, India. pp.ND, ⟨⟩
Conference papers hal-00668318v1

Compiling Constraints in clp(FD)

Philippe Codognet , Daniel Diaz
Journal of Logic Programming, 1996, 27 (3), pp.185-226
Journal articles hal-00693245v1

A Simple and Efficient Boolean Solver for Constraint Logic Programming

Philippe Codognet , Daniel Diaz
Journal of Automated Reasoning, 1996, 17 (1), pp.97-129
Journal articles hal-00693251v1