fCube swMATH ID: 11383 Software Authors: Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido Description: fCube: an efficient prover for intuitionistic propositional logic. We present fCube, a theorem prover for intuitionistic propositional logic based on a tableau calculus. The main novelty of fCube is that it implements several optimization techniques that allow to prune the search space acting on different aspects of proof-search. We tested the efficiency of our techniques by comparing fCube with other theorem provers. We found that our prover outperforms the other provers on several interesting families of formulas. Homepage: http://www2.disco.unimib.it/fiorino/fcube.html Related Software: ILTP; Imogen; IntHistGC; JTabWb; DeReS; MiniSat; intuit; Isabelle; Cool; MetTeL; LoTREC; CoLoSS; PVS; BDDIntKt; BuDDy Cited in: 10 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year fCube: an efficient prover for intuitionistic propositional logic. Zbl 1306.68141Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido 2010 all top 5 Cited by 12 Authors 5 Ferrari, Mauro 5 Fiorentini, Camillo 4 Fiorino, Guido 2 Goré, Rajeev Prabhakar 2 Thomson, Jimmy 1 Areces, Carlos 1 Cassano, Valentín 1 Castro, Pablo F. 1 Fervari, Raul 1 Hoffmann, Guillaume 1 Tarau, Paul 1 Wu, Jesse Cited in 4 Serials 1 Information Processing Letters 1 Journal of Automated Reasoning 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic Cited in 2 Fields 8 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) Citations by Year