Improved exact solver for weighted max-sat (2005)
by
Teresa Alsinet
,
Felip Manyà
,
Jordi Planes
| Venue: | In: Proc. of the 8th SAT conference. (2005 |
| Citations: | 20 - 10 self |







