Back to Results
First PageMeta Content
NP-complete problems / Constraint programming / Logic in computer science / Propositional calculus / Unsatisfiable core / Electronic design automation / Boolean satisfiability problem / Symmetry / Satisfiability / Theoretical computer science / Mathematics / Applied mathematics


A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak
Add to Reading List

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

Open Document

File Size: 1,38 MB

Share Result on Facebook

Company

CBC / Software Design Group / /

Facility

MASSACHUSETTS INSTITUTE OF TECHNOLOGY February / Massachusetts Institute of Technology / /

IndustryTerm

software description language / translation algorithm / extraction algorithms / partial solutions / recent applications / extraction algorithm / software systems / /

Organization

Department Committee / Massachusetts Institute of Technology / Department of Electrical Engineering and Computer Science / /

Person

Derek Rayside / Jonathan Edwards / Alma / Sharad Malik / Mandana Vaziri / Felix Chang / Ilya Shlyakhter / Edina / Carlos Pacheco / Terry P. Orlando / Thesis Supervisor / Greg Dennis / Robert Seater / Daniel Jackson / Mana Taghdiri / David Karger / Thesis Supervisor Accepted / /

Position

Author / Supervisor / advisor / minimal unsatisfiable core extractor for the latter / Chairman / Professor / writer / researcher / advocate for my ideas / minimal unsatisfiable core extractor / /

ProvinceOrState

Massachusetts / /

RadioStation

4.2 Core / /

Technology

translation algorithm / extraction algorithms / 2.1 Translation algorithm / extraction algorithm / /

SocialTag