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

DR Lucy Ham Author

Citation metrics