First Page | Document Content | |
---|---|---|
Date: 2017-06-23 18:20:16 | Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.eduAdd to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source WebsiteFile Size: 300,75 KBShare Document on Facebook |