E-MaLeS 1.1
From MaRDI portal
Publication:4928455
DOI10.1007/978-3-642-38574-2_28zbMath1381.68273OpenAlexW2162635157MaRDI QIDQ4928455
Daniel Kühlwein, Stephan Schulz, Josef Urban
Publication date: 14 June 2013
Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_28
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Heterogeneous heuristic optimisation and scheduling for first-order theorem proving ⋮ Cooperating Proof Attempts ⋮ A multi-clause dynamic deduction algorithm based on standard contradiction separation rule ⋮ Learning-assisted theorem proving with millions of lemmas
Uses Software
This page was built for publication: E-MaLeS 1.1
