Encodings and Benchmarks for MaxSAT Solving
Encodings and Benchmarks for MaxSAT Solving
Alba
Alba
 
Cabiscol
Cabiscol
 (
)
Encodings and Benchmarks for MaxSAT Solving
Encodings and Benchmarks for MaxSAT Solving
 

An industrial PhD

Advisors: 

Felip Manyà, Ramon Bejar

Felip Manyà, Ramon Bejar

University: 

Abstract: