4255 search results - page 62 / 851 » On Learning Boolean Functions |
ICCD
2002
IEEE
15 years 6 months ago
2002
IEEE
Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular repre...
ICML
2009
IEEE
15 years 10 months ago
2009
IEEE
EUROCOLT
1995
Springer
15 years 1 months ago
1995
Springer
SAT
2005
Springer
15 years 3 months ago
2005
Springer
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...
SAT
2007
Springer
15 years 3 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...