Differences

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

--- randomized_model_finder [2007/06/29 10:26]
cedric.jeanneret
+++ randomized_model_finder [2007/06/29 22:20] (current)
cedric.jeanneret
@@ Line 1: / Line 1: @@
 ====== Randomized Model Finder ======
-** Cédric Jeanneret and Leander Eyer **
+// Cédric Jeanneret and Leander Eyer //
+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_paper.pdf|paper}}
   * {{paradox_pres.pdf|slides for presentation}}
-  * {{paradox_pres4p4.pdf|slides for printing (4 per pages)}}
+  * {{paradox_pres4p4.pdf|handouts for printing (4 per page)}}
-==== Randomized Model Finder ====
-  * report
-  * {{rmf_pres.pdf|slides for presentation}}
-  * {{rmf_pres4p4.pdf|slides for printing (4 per page)}}
+===== Links =====
+==== Model Finder ====
+  * [[http://www.math.chalmers.se/~koen/folkung/|Paradox]]
+  * [[http://web.mit.edu/emina/www/kodkod.html|KodKod]]
+  * [[http://lcs.ios.ac.cn/~zj/model.html|SEM]]
+==== Other ====
+  * [[http://www.scala-lang.org/|Scala Language]]
+  * [[http://www.cs.miami.edu/~tptp/|TPTP]]
+  * [[http://www.swarmintelligence.org/|Swarm Intelligence]]