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,
}