31 search results - page 2 / 7 » Pseudo-Boolean optimization |
SAT
2007
Springer
13 years 12 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the M...
ICCV
2011
IEEE
12 years 5 months ago
2011
IEEE
The number of applications in computer vision that model higher-order interactions has exploded over the last few years. The standard technique for solving such problems is to red...
SAT
2009
Springer
14 years 8 days ago
2009
Springer
DAM
2002
13 years 5 months ago
2002