Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Federico Heras

Original record
Institution
Universitat Politècnica de Catalunya
Year
2008
Country
Spain
MGP identifier
162743

Dissertation: A new framework for Max-SAT solving

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy