Paradox
| swMATH ID: | 3701 |
| Software Authors: | Claessen, Koen; Sörensson, Niklas |
| Description: | Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them. Paradox is written by Koen Claessen and Niklas Sörensson. |
| Homepage: | http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~koen/paradox/ |
| Related Software: | E Theorem Prover; STP; GitHub; Gandalf; MathSAT5; CVC4; SMTInterpol; Satallax; MiniZinc; z3; REDLOG; VAMPIRE; QEPCAD; LEO-II; Isabelle; SINGULAR; CoCoA; Chaff; Mace4; E-Darvin |
| Cited in: | 3 Documents |
all
top 5
Cited by 7 Authors
| 1 | Baumgartner, Peter |
| 1 | de Nivelle, Hans |
| 1 | Fuchs, Alexander |
| 1 | Jovanović, Jelena |
| 1 | Letychevs’kyĭ, Oleksandr Oleksandrovych |
| 1 | Tarasich, Yu. |
| 1 | Tinelli, Cesare |
Cited in 3 Serials
| 1 | Cybernetics and Systems Analysis |
| 1 | Novi Sad Journal of Mathematics |
| 1 | Journal of Applied Logic |
Cited in 3 Fields
| 2 | Computer science (68-XX) |
| 1 | Mathematical logic and foundations (03-XX) |
| 1 | General algebraic systems (08-XX) |
