Back to Results
First PageMeta Content
Mathematics / Rules of inference / Propositional calculus / Unsatisfiable core / Resolution / Conjunctive normal form / SQL / Automated theorem proving / Logic / Mathematical logic


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.edu
Add to Reading List

Document Date: 2014-08-13 19:26:58

Open Document

File Size: 300,75 KB

Share Result on Facebook

Company

CNF / /

/

IndustryTerm

simpler algorithms / extraction algorithms / basic algorithm / extraction algorithm / search scope / /

Organization

MIT / US Federal Reserve / /

Person

Daniel Jackson / Felix Sheng-Ho Chang / /

Position

Recycling Core Extraction The Simple Core Extractor / Basic Core Extraction Algorithms The Naive Core Extractor / model / Recycling Core Extractor / OneStep Core Extractor / /

Technology

extraction algorithms / three simpler algorithms / extraction algorithm / Extractor algorithm / /

SocialTag