Sciweavers

61
Voted
CP
2010
Springer

Using Learnt Clauses in maxsat

14 years 7 months ago
Using Learnt Clauses in maxsat
Jessica Davies, Jeremy Cho, Fahiem Bacchus
Added 24 Jan 2011
Updated 24 Jan 2011
Type Journal
Year 2010
Where CP
Authors Jessica Davies, Jeremy Cho, Fahiem Bacchus
Comments (0)