A case for efficient solution enumeration

Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson

Research output: Chapter in Book/Report/Conference proceedingChapter

Fingerprint

Dive into the research topics of 'A case for efficient solution enumeration'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science