Proceedings

Henri Beringer

1 paper in the IJCAI proceedings

IJCAI 1993

Satisfiability of Boolean Formulas over Linear Constraints
with Bruno De Backer
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards