Pueblo: A Modern Pseudo-Boolean SAT Solver

MLA

Karem A. Sakallah, and Hossein M. Sheini. “Pueblo: A Modern Pseudo-Boolean SAT Solver.” Design, Automation and Test in Europe, Apr. 2005. EBSCOhost, https://doi.org/10.1109/date.2005.246.

APA

Karem A. Sakallah, & Hossein M. Sheini. (2005). Pueblo: A Modern Pseudo-Boolean SAT Solver. Design, Automation and Test in Europe. https://doi.org/10.1109/date.2005.246

Chicago

Karem A. Sakallah, and Hossein M. Sheini. 2005. “Pueblo: A Modern Pseudo-Boolean SAT Solver.” Design, Automation and Test in Europe, April. doi:10.1109/date.2005.246.