Cover Algorithms and Their Combination

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78739-6_16 ◽

2008 ◽

pp. 193-207 ◽

Author(s):

Sumit Gulwani ◽

Madan Musuvathi

Download Full-text