Sciweavers

AAAI
2008

Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving

14 years 1 months ago
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving
Han Lin, Kaile Su, Chu Min Li
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where AAAI
Authors Han Lin, Kaile Su, Chu Min Li
Comments (0)