Mail Archive Home | sat4j-dev List | June 2006 Index

New SAT based sucessful application ... using SAT4J :-)

Subject: New SAT based sucessful application ... using SAT4J :-)
From: "Daniel Le Berre" <leberre@xxxxxxxxxxxxxxxxxxx>
Date: Thu, 8 Jun 2006 14:00:53 +0200
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:sender:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition:x-google-sender-auth; b=oRcF08Jwnw4g3lh3U0is4oH+NFCo6r/05smQh9t04rY7QSGjwGEawIOn015RmN5BVzZOjn7vdarCfdpt+bC+cFTCnOsinmcLZCQ8PMNna8VZrUQkaTmT80EuWr6mA2WpKNhHFP+ieW79B5TmA3qAA3ikeuEiCa/f2/D4SYYmRIk=

I just found a paper about the successful use of SAT in termination solver.
The solver used in that application is SAT4J :-)

SAT Solving for Argument Filterings;
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann and
Jürgen Giesl; Technical Report (unpublished);
Department of Computer Science; Ben-Gurion University; May, 2006.
http://www.cs.bgu.ac.il/~mcodish/Papers/Pages/dppSat.html

Daniel

New SAT based sucessful application ... using SAT4J :-), Daniel Le Berre

<-- Date Index -->

<-- Thread Index -->

Search OW2 Mail Archive:
Advanced Search - Powered by Google