Vol-1204⫷ Vol-1205 ⫸Vol-1206
urn:nbn:de:0074-1205-0


Vol-1205/paper11⫷Vol-1205/paper12
David Mitchell

Resolution and Clause Learning for Multi-Valued CNF Formulas