Unit refutations in Horn constraint systems

DOI10.1007/978-3-031-92932-8_2MaRDI QIDQ6902212zbMATH OpenFDO

Authors Piotr Wojciechowski, K. Subramani

Publication date 11 November 2025

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx)

This page was built for publication: Unit refutations in Horn constraint systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6902212)