IWIL@LPAR

Keyphrases

Publications

2017

volume 40, 2016

IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015 IWIL@LPAR 40 (2016)

2015

Roberto Blanco, Tomer Libal, Dale Miller
Defining the meaning of TPTP formatted proofs. IWIL@LPAR (2015)
Chu Min Li, Fan Xiao, Ruchu Xu
On Reducing Clause DataBase in Glucose. IWIL@LPAR (2015)
Marijn Heule, Armin Biere
Clausal Proof Compression. IWIL@LPAR (2015)
Baudouin Le Charlier, Mêton Mêton Atindehou
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results. IWIL@LPAR (2015)
Jonathan Protzenko
Functional Pearl: the Proof Search Monad. IWIL@LPAR (2015)
Geoff Sutcliffe, Stephan Schulz
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. IWIL@LPAR (2015)
Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand
Implementing Polymorphism in Zenon. IWIL@LPAR (2015)
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil
Improving Statistical Linguistic Algorithms for Parsing Mathematics. IWIL@LPAR (2015)
Josef Urban, Robert Veroff
Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry. IWIL@LPAR (2015)
Rustan Leino
Well-founded Functions and Extreme Predicates in Dafny: A Tutorial. IWIL@LPAR (2015)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. IWIL@LPAR (2015)

volume 22, 2013

IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012 IWIL@LPAR 22 (2013)

2012

volume 2, 2012

The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011 IWIL@LPAR 2 (2012)

2010