Exact and parameterized algorithms for read-once refutations in Horn constraint systems

DOI10.1007/978-3-030-93100-1_21MaRDI QIDQ2151419

K. Subramani and Vahan Mkrtchyan, Piotr J. Wojciechowski

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-93100-1_21

Mathematics Subject Classification ID

03B70: Logic in computer science

Uses Software

• Yices