Bruno De Backer

IBM CEMAP 68/76 Quai de la Rapee 75592 PARIS CEDEX 12

1 paper in the IJCAI proceedings

IJCAI 1993

Satisfiability of Boolean Formulas over Linear Constraints

with Henri Beringer

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings