Proceedings

Marc Fuchs

1 paper in the IJCAI proceedings

IJCAI 1999

Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards