Sciweavers

13436 search results - page 209 / 2688
» e
Sort
View
SAT
2009
Springer
94views Hardware» more  SAT 2009»
16 years 1 months ago
Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?
Timo Berthold, Stefan Heinz, Marc E. Pfetsch