Journal on Satisfiability Boolean Modeling and Computation · 2006 · 46 citations · 24 references
The first evaluation of pseudo-Boolean solvers was organized as a subtrack of the SAT 2005 competition. The first goal of this event is to take a snapshot of the current state of the art in the field of pseudo-Boolean constraints. The second goal is
24
Matthew W. Moskewicz, Conor Madigan, Ying Zhao et al. · 2001 · 2.9K citations
Mathematical Programming, Artificial Intelligence, Constraint Solving +14
Synthesis and optimization of digital circuits
Choice Reviews Online · 1994 · 2.4K citations
AN ALGORITHM FOR THE MIXED INTEGER PROBLEM
Ralph E. Gomory · 1960 · 350 citations
Mathematical Programming, Cutting Plane Methods, Numerical Analysis +16