Sciweavers

HEURISTICS
2016

Exploiting subproblem optimization in SAT-based MaxSAT algorithms

7 years 12 months ago
Exploiting subproblem optimization in SAT-based MaxSAT algorithms
Carlos Ansótegui, Joel Gabàs, Jordi
Added 03 Apr 2016
Updated 03 Apr 2016
Type Journal
Year 2016
Where HEURISTICS
Authors Carlos Ansótegui, Joel Gabàs, Jordi Levy
Comments (0)