Differences

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

--- randomized_model_finder [2007/06/29 10:28]
cedric.jeanneret
+++ randomized_model_finder [2007/06/29 22:20]
cedric.jeanneret
@@ Line 1: / Line 1: @@
 ====== Randomized Model Finder ======
-** 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 ====
@@ Line 14: / Line 26: @@
-==== Randomized Model Finder ====
-  * report
-  * {{rmf_pres.pdf|slides for presentation}}
-  * {{rmf_pres4p4.pdf|handouts 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]]