## Zvi Galil

*On Enumeration Procedures for Theorem Proving and for Integer Programming*

ICALP, 1976.

@inproceedings{ICALP-1976-Galil, author = "Zvi Galil", booktitle = "{Proceedings of the Third International Colloquium on Automata, Languages and Programming}", isbn = "0-85224-308-1", pages = "355--381", title = "{On Enumeration Procedures for Theorem Proving and for Integer Programming}", year = 1976, }