Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj Abstract. The key design challenges in the construction of a SAT-based - Kodkod - Document - PDFSEARCH.IO

First Page	Meta Content
	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Document Date: 2014-08-13 19:26:58 Open Document File Size: 304,05 KB Share Result on Facebook Company CNF / CBC / / Currency pence / / / IndustryTerm software design / prototype tool / file systems / translation algorithms / detection algorithm / model search / matrix product / partial solutions / partial solution / software models / symmetry detection algorithm / search algorithms / / Organization MIT / / Person Daniel Jackson / / Position hb / beam scheduler / mean Sudoku player / translator / / ProgrammingLanguage R / Prolog / / Technology symmetry detection algorithm / underlying technology / search algorithms / API / sharing detection algorithm / translation algorithms / / URL http / SocialTag Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic

Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-basedAdd to Reading List