On the Predictability of Classical Propositional Logic
Other literature type, Article
- Publisher: Multidisciplinary Digital Publishing Institute
Information technology | landscape of distributions | SAT | T58.5-58.64 | SAT solver | phase transition
arxiv: Computer Science::Logic in Computer Science
In this work we provide a statistical form of empirical analysis of classical propositional logic decision methods called SAT solvers. This work is perceived as an empirical counterpart of a theoretical movement, called the enduring scandal of deduction, that opposes co...