Hachemi Bennaceur, Gérard Plateau. Theorem Proving by Combinatorial Optimization. In Habib Abdulrab, Jean-Pierre Pécuchet, editors, Word Equations and Related Topics, Second International Workshop, IWWERT 91, Rouen, France, October 7-9, 1991, Proceedings. Volume 677 of Lecture Notes in Computer Science, pages 90-102, Springer, 1991.
@inproceedings{BennaceurP91,
title = {Theorem Proving by Combinatorial Optimization},
author = {Hachemi Bennaceur and Gérard Plateau},
year = {1991},
tags = {optimization},
researchr = {https://researchr.org/publication/BennaceurP91},
cites = {0},
citedby = {0},
pages = {90-102},
booktitle = {Word Equations and Related Topics, Second International Workshop, IWWERT 91, Rouen, France, October 7-9, 1991, Proceedings},
editor = {Habib Abdulrab and Jean-Pierre Pécuchet},
volume = {677},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56730-5},
}