Ann Lillieström

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 3

Top Topics

Binary Relations

Automated Reasoning

Counter Examples

Top Venues

J. Autom. Reason.

Publications

Koen Claessen, Ann Lillieström
Handling Transitive Relations in First-Order Automated Reasoning. J. Autom. Reason. 65 (8) (2021)
Ann Lillieström, Koen Claessen, Nicholas Smallbone
Inferring morphological rules from small examples using 0/1 linear programming. NODALIDA (2019)
Koen Claessen, Ann Lillieström
Alternative Treatments of Common Binary Relations in First-order Automated Reasoning. PAAR@IJCAR (2016)
Koen Claessen, Ann Lillieström, Nicholas Smallbone
Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. CADE (2011)
Koen Claessen, Ann Lillieström
Automated Inference of Finite Unsatisfiability. J. Autom. Reason. 47 (2) (2011)
Koen Claessen, Ann Lillieström
Automated Inference of Finite Unsatisfiability. CADE (2009)