FINDER swMATH ID: 6376 Software Authors: John Slaney Description: Finite domain enumerator. This is a finite domain CSP solver, rather limited in what it can do. Don’t expect it to deal effectively with anything numerical, though it can knock off small problems reasonably quickly. The nice feature (say I) is the input language which is first order logic thinly disguised. Earlier versions of this came with some documentation. This one comes with the injunction to use the Force (read the source). Also read the README that comes with it. Homepage: http://users.cecs.anu.edu.au/~jks/software/ Related Software: Mace4; SATCHMO; TPTP; OTTER; E-Darvin; Darwin; Kodkod; Prover9; KIV; SATO; Nitpick; E Theorem Prover; VAMPIRE; FALCON; Chaff; PVS; CASL; Isabelle; PSATO; SCOTT Cited in: 39 Documents all top 5 Cited by 53 Authors 6 Peltier, Nicolas 5 Zhang, Jian 3 Reif, Wolfgang 3 Schellhorn, Gerhard 3 Zhang, Hantao 2 Baumgartner, Peter 2 Benhamou, Belaid 2 Bry, François 2 Dunets, Andriy 2 Henocque, Laurent 2 Slaney, John K. 2 Tinelli, Cesare 2 Torge, Sunna 2 Vandecasteele, Henk 1 Ahrendt, Wolfgang 1 Audemard, Gilles 1 Beckert, Bernhard 1 Blanchette, Jasmin Christian 1 Bonacina, Maria Paola 1 Bruynooghe, Maurice 1 Chabrier, Jean-Jacques 1 Choi, Seungyeob 1 Cruanes, Simon 1 de Nivelle, Hans 1 de Waal, Andre D. 1 Denecker, Marc 1 Dequen, Gilles 1 Dierkes, Michael 1 Dubois, Olivier 1 Fuchs, Alexander 1 Gajdoš, Petr 1 Gent, Ian Philip 1 Gretton, Charles 1 Hähnle, Reiner 1 Hsiang, Jieh 1 Huang, Zhuo 1 Konrad, Karsten 1 Kuřil, Martin 1 Letz, Reinhold 1 McCune, William W. 1 Menzel, Wolfram 1 Reynolds, Andrew 1 Richter, Jean-Michel 1 Schmidt, Renate A. 1 Schmitt, Peter H. 1 Schumann, Johann M. Ph. 1 Sorge, Volker 1 Stenz, Gernot 1 Stergiou, Kostas 1 Stickel, Mark E. 1 Surendonk, Timothy J. 1 Walsh, Toby 1 Yahya, Adnan H. all top 5 Cited in 13 Serials 5 Journal of Automated Reasoning 3 Journal of Symbolic Computation 2 Computers & Mathematics with Applications 1 Artificial Intelligence 1 Semigroup Forum 1 Journal of Computer Science and Technology 1 Information and Computation 1 Annals of Mathematics and Artificial Intelligence 1 The Journal of Functional and Logic Programming 1 Journal of Software 1 Journal of Applied Logic 1 Lecture Notes in Computer Science 1 International Mathematical Forum Cited in 5 Fields 37 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 4 Group theory and generalizations (20-XX) 3 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Citations by Year