Vasco M. Manquinho, João P. Marques Silva
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization
SAT, 2004.
@inproceedings{SAT-2004-ManquinhoM,
author = "Vasco M. Manquinho and João P. Marques Silva",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/54.pdf",
pages = "120--126",
title = "{Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization}",
year = 2004,
}