Mon, 28 Jun 2010 18:02:36 +0200 | blanchet | get rid of Skolem cache by performing CNF-conversion after fact selection | changeset | files |
Mon, 28 Jun 2010 17:32:28 +0200 | blanchet | always perform "inline" skolemization, polymorphism or not, Skolem cache or not | changeset | files |
Mon, 28 Jun 2010 17:31:38 +0200 | blanchet | always perform relevance filtering on original formulas | changeset | files |