LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
randomized_model_finder [2007/06/29 11:00]
cedric.jeanneret
randomized_model_finder [2007/06/29 22:20]
cedric.jeanneret
Line 2: Line 2:
 // Cédric Jeanneret and Leander Eyer // // Cédric Jeanneret and Leander Eyer //
  
-===== Documents =====+This project introduces a new method 
 +using randomness to find model for first order logic 
 +formulas. This new method has been tested on a simple 
 +example and results, even far from well-known model 
 +finder tool, are encouraging. This project also presents a 
 +solver for TPTP problems based on KodKod.
  
 +{{eyer_jeanneret.tgz|Source code}}
  
 +===== Documents =====
  
 +
 +==== Randomized Model Finder ====
 +  * {{eyer_jeanneret.pdf|report}}
 +  * {{rmf_pres.pdf|slides for presentation}}
 +  * {{rmf_pres4p4.pdf|handouts for printing (4 per page)}}
  
 ==== Paradox ==== ==== Paradox ====
Line 14: Line 26:
  
  
-==== Randomized Model Finder ==== + 
-  * report +
-  * {{rmf_pres.pdf|slides for presentation}} +
-  * {{rmf_pres4p4.pdf|handouts for printing (4 per page)}}+
  
 ===== Links ===== ===== Links =====
 +
 ==== Model Finder ==== ==== Model Finder ====
   * [[http://​www.math.chalmers.se/​~koen/​folkung/​|Paradox]]   * [[http://​www.math.chalmers.se/​~koen/​folkung/​|Paradox]]
   * [[http://​web.mit.edu/​emina/​www/​kodkod.html|KodKod]]   * [[http://​web.mit.edu/​emina/​www/​kodkod.html|KodKod]]
 +  * [[http://​lcs.ios.ac.cn/​~zj/​model.html|SEM]]
 +
 ==== Other ==== ==== Other ====
   * [[http://​www.scala-lang.org/​|Scala Language]] ​   * [[http://​www.scala-lang.org/​|Scala Language]] ​
   * [[http://​www.cs.miami.edu/​~tptp/​|TPTP]]   * [[http://​www.cs.miami.edu/​~tptp/​|TPTP]]
   * [[http://​www.swarmintelligence.org/​|Swarm Intelligence]]   * [[http://​www.swarmintelligence.org/​|Swarm Intelligence]]