1993 | ||
---|---|---|
2 | Frédéric Benhamou, Jean-Luc Massat: Boolean Pseudo-equations in Constraint Logic Programming. ICLP 1993: 517-531 | |
1991 | ||
1 | Jean-Luc Massat: Using Local Consistency Techniques to Solve Boolean Constraints. WCLP 1991: 223-235 |
1 | Frédéric Benhamou | [2] |