Towards a Trichotomy for Quantified H-Coloring

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_36 ◽

2006 ◽

pp. 342-352 ◽

Author(s):

Barnaby Martin ◽

Florent Madelaine

Download Full-text