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 Both sides next revision
randomized_model_finder [2007/06/29 11:02]
cedric.jeanneret
randomized_model_finder [2007/06/29 22:16]
cedric.jeanneret
Line 1: Line 1:
 ====== Randomized Model Finder ====== ====== 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.
  
 ===== Documents ===== ===== Documents =====