Abstract is missing.
- Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem ProvingWaqar Ahmad, Osman Hasan, Sofiène Tahar. 1-14 [doi]
- Implementing Polymorphism in ZenonGuillaume Bury, Raphaël Cauderlier, Pierre Halmagrand. 15-20 [doi]
- Clausal Proof CompressionMarijn Heule, Armin Biere. 21-26 [doi]
- Improving Statistical Linguistic Algorithms for Parsing MathematicsCezary Kaliszyk, Josef Urban, Jirí Vyskocil. 27-36 [doi]
- A Method to Simplify Expressions: Intuition and Preliminary Experimental ResultsBaudouin Le Charlier, Mêton Mêton Atindehou. 37-51 [doi]
- Well-founded Functions and Extreme Predicates in Dafny: A TutorialRustan Leino. 52-66 [doi]
- On Reducing Clause DataBase in GlucoseChu Min Li, Fan Xiao, Ruchu Xu. 67-77 [doi]
- Defining the meaning of TPTP formatted proofsRoberto Blanco, Tomer Libal, Dale Miller. 78-90 [doi]
- Functional Pearl: the Proof Search MonadJonathan Protzenko. 91-105 [doi]
- The Thousands of Models for Theorem Provers (TMTP) Model Library - First StepsGeoff Sutcliffe, Stephan Schulz 0001. 106-121 [doi]
- Experiments with State-of-the-art Automated Provers on Problems in Tarskian GeometryJosef Urban, Robert Veroff. 122-126 [doi]