Strong duality in Horn minimization

DOI10.1007/978-3-662-55751-8_11zbMath1495.68097OpenAlexW2745994242MaRDI QIDQ1679964

Kazuhisa Makino, Ondřej Čepek, Endre Boros

Publication date: 22 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55751-8_11

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Classical propositional logic (03B05)

Related Items

Learning a propagation complete formula ⋮ Unnamed Item

This page was built for publication: Strong duality in Horn minimization