16 search results - page 4 / 4 » Propagation = Lazy Clause Generation |
JAR
2011
13 years 6 days ago
2011
We consider optimization problems of the form (S, cost), where S is a clause set over Boolean variables x1 . . . xn, with an arbitrary cost function cost: Bn → R, and the aim is ...