On Extending Kodkod to Support Temporal Features and Scenario Exploration Nuno Macedo and Alcino Cunha et al HASLab, INESC TEC & Universidade do Minho

Source URL: alloytools.org

• Formal methods
• Theoretical computer science
• Mathematics
• Artificial intelligence
• Educational psychology
• Neuropsychological assessment
• Problem solving
• Solver
• Equation solving
• Alloy

Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,

Source URL: homes.cs.washington.edu

Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,

Source URL: sdg.csail.mit.edu

Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,

Source URL: homes.cs.washington.edu

• NP-complete problems
• Alloy Analyzer
• Massachusetts Institute of Technology
• Recreational mathematics
• Alloy
• N1 road
• N postcode area
• Sudoku
• Boolean satisfiability problem
• Theoretical computer science
• Mathematics
• Formal methods

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

Source URL: homes.cs.washington.edu

• Model theory
• Boolean algebra
• Relational model
• Logical connectives
• FO
• First-order logic
• Structure
• Relational algebra
• Finitary relation
• Mathematical logic
• Logic
• Mathematics

Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod (System Description)∗ Jasmin Christian Blanchette Technische Universität München Garching, Germany

Source URL: www21.in.tum.de

• Mathematical logic
• Model theory
• Formal languages
• Formal methods
• Logical syntax
• Structure
• Isabelle
• Logic programming
• Automated theorem proving
• Mathematics
• Logic
• Metalogic

Biodiversity and Conservation 13: 1135–1151, 2004. # 2004 Kluwer Academic Publishers. Printed in the Netherlands.

Source URL: www.conservacion.cl

• Kodkod
• Leopardus
• Habitats
• Culpeo
• Forest
• Silviculture
• Fauna of South America
• Environment
• Forestry

Mastozoología Neotropical / J. Neotrop. Mammal.; 10(2):[removed] ©SAREM, 2003

Source URL: www.conservacion.cl

• Biology
• Demography
• Population
• Landscape ecology
• Kodkod
• Leopardus
• Metapopulation
• Los Ruiles National Reserve
• Biological dispersal
• Environment
• Population ecology
• Ecology

CAT FACTS SERIES www.felineconservation.org

Source URL: www.felineconservation.org

• Kodkod
• Andean mountain cat
• Felidae
• Cat
• Feline Conservation Federation
• Leopard
• Fauna of South America
• Leopardus
• Felines