Design and Implementation of Exact Max-SAT Solvers
Design and Implementation of Exact Max-SAT Solvers
Jordi
Jordi
 
Planes
Planes
 (
)
Design and Implementation of Exact Max-SAT Solvers
Design and Implementation of Exact Max-SAT Solvers
 

An industrial PhD

Advisors: 

Chu Min Li, Felip Manyà

Chu Min Li, Felip Manyà

University: 

Abstract: