CDCL-Based Abstract State Transition System for Coherent Logic

DOI10.1007/978-3-642-31374-5_18zbMath1360.68761OpenAlexW95863444MaRDI QIDQ2907328

Predrag Janičić, Mladen Nikolić

Publication date: 7 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31374-5_18

zbMATH Keywords

coherent logicabstract state-transition systemsCDCL SAT solvingmachine verifiable proofsreadable proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

From informal to formal proofs in Euclidean geometry

This page was built for publication: CDCL-Based Abstract State Transition System for Coherent Logic