Farkas Bounds on Horn Constraint Systems
From MaRDI portal
Publication:6489318
DOI10.1007/s00224-023-10156-6MaRDI QIDQ6489318
Piotr Wojciechowki, Alvaro Velasquez, K. Subramani and Vahan Mkrtchyan
Publication date: 21 April 2024
Published in: Theory of Computing Systems (Search for Journal in Brave)
This page was built for publication: Farkas Bounds on Horn Constraint Systems