Vol-2188⫷ Vol-2189 ⫸Vol-2190
urn:nbn:de:0074-2189-0


Vol-2189/keyword_index⫷Vol-2189/paper15⫸Vol-2189/paper12
Ilias S. Kotsireas

Hard Combinatorial Problems: A Challenge for Satisfiability