sSolve
| Submitter: | Rainer Feldmann | ||
| Description: | Devised by Rainer Feldmann and Stefan Schamberger, it is a search-based algorithm, featuring trivial truth and a modified version of Rintanen's method of inverting quantifiers. The data structures used are extensions of the data structures of Max Bohm's SAT-solver.[R. Feldmann, B. Monien, and S. Schamberger. A Distributed Algorithm to Evaluate Quantified Boolean Formulae. In Proc. of AAAI, 2000] | ||
| Results: | |||