Conference Proceedings

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

L Ham

Leibniz International Proceedings in Informatics, LIPIcs | Published : 2016

University of Melbourne Researchers