Kodkod - PDFSEARCH.IO - Document Search Engine

Kodkod
Results: 13

#	Item
1	On Extending Kodkod to Support Temporal Features and Scenario Exploration Nuno Macedo and Alcino Cunha et al HASLab, INESC TEC & Universidade do Minho Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Formal methods Theoretical computer science Mathematics Artificial intelligence Educational psychology Neuropsychological assessment Problem solving Solver Equation solving Alloy
2	Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina, Add to Reading List Source URL: homes.cs.washington.edu - Date: 2017-06-23 18:20:16
3	Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina, Add to Reading List Source URL: sdg.csail.mit.edu Language: English - Date: 2014-05-07 00:00:51
4	Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 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
5	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 Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics
6	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 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical logic Model theory Formal languages Formal methods Logical syntax Structure Isabelle Logic programming Automated theorem proving Mathematics Logic Metalogic
7	Biodiversity and Conservation 13: 1135–1151, 2004. # 2004 Kluwer Academic Publishers. Printed in the Netherlands. Add to Reading List Source URL: www.conservacion.cl Language: English - Date: 2010-10-25 10:07:32 Kodkod Leopardus Habitats Culpeo Forest Silviculture Fauna of South America Environment Forestry
8	Mastozoología Neotropical / J. Neotrop. Mammal.; 10(2):[removed] ©SAREM, 2003 Add to Reading List Source URL: www.conservacion.cl Language: English - Date: 2010-10-25 10:07:15 Biology Demography Population Landscape ecology Kodkod Leopardus Metapopulation Los Ruiles National Reserve Biological dispersal Environment Population ecology Ecology
9	CAT FACTS SERIES www.felineconservation.org Add to Reading List Source URL: www.felineconservation.org Language: English - Date: 2012-03-20 09:42:07 Kodkod Andean mountain cat Felidae Cat Feline Conservation Federation Leopard Fauna of South America Leopardus Felines

UPDATE