Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Justyna Petke

Original record
Institution
University of Oxford
Year
2012
Country
United Kingdom
MGP identifier
178020

Dissertation: On the bridge between Constraint Satisfaction and Boolean Satisfiability

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy