Back to Results
First PageMeta Content
Model theory / Formal languages / Metalogic / Boolean algebra / Interpretation / First-order logic / Satisfiability / Function / Well-formed formula / Logic / Mathematical logic / Mathematics


Minimum Satisfying Assignments for SMT? Isil Dillig1 , Thomas Dillig1 , Kenneth L. McMillan2 , and Alex Aiken3 1 College of William & Mary 2
Add to Reading List

Document Date: 2012-04-19 15:56:45


Open Document

File Size: 509,61 KB

Share Result on Facebook

Company

Microsoft / /

Currency

pence / /

Facility

College of William / /

IndustryTerm

binary search technique / search space / software verification / computing / find mus algorithm / /

Organization

National Science Foundation / College of William & Mary / Stanford University / /

Product

Mistral / /

Technology

find mus algorithm / dom / Cuts-from-Proofs algorithm / /

URL

www.cs.wm.edu/˜tdillig/mistral.tar.gz / /

SocialTag