Sciweavers

44
Voted
AAAI
2008

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

15 years 1 days 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)