Listing Details| ID: | 1001 |
| Title: | Satire - Satiafiability via an Incremental Reasoning Engine - http://www.eecs.umich.edu/~faloul/Tools/satire/ |
| Pagerank: | 4 |
| Description: | This is the home page of the Satire satisfiability (SAT) tool. ... Papers describing Satire will be added to this site soon. ... |
| Category: | News: Satire |
| Link Owner: | |
| Date Added: | June 21, 2008 04:53:07 AM |
| Number Hits: | 0 |