Media type: E-Article Title: Pueblo: A Hybrid Pseudo-Boolean SAT Solver Contributor: Sheini, Hossein M.; Sakallah, Karem A. Published: IOS Press, 2006 Published in: Journal on Satisfiability, Boolean Modeling and Computation, 2 (2006) 1-4, Seite 165-189 Language: Not determined DOI: 10.3233/sat190020 ISSN: 1574-0617 Origination: Footnote: Access State: Open Access