Conference Proceedings

A gap trichotomy for Boolean constraint problems: Extending Schaefer's theorem

L Ham

Leibniz International Proceedings in Informatics, LIPIcs | Published : 2016

DOI: 10.4230/LIPIcs.ISAAC.2016.36

University of Melbourne Researchers