Solution and Optimization of Systems of Pseudo-Boolean Constraints

DOI10.1109/TC.2007.1075zbMath1391.94907OpenAlexW2168910274MaRDI QIDQ4564226

Arathi Ramani, Karem A. Sakallah, Igor L. Markov, Fadi A. Aloul

Publication date: 12 June 2018

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2007.1075

Mathematics Subject Classification ID

Uses Software

• PBS

This page was built for publication: Solution and Optimization of Systems of Pseudo-Boolean Constraints