A Combinatorial Algorithm for Horn Programs

DOI10.1007/978-3-642-10631-6_112zbMath1273.90115OpenAlexW1871628273MaRDI QIDQ3652297

R. Chandrasekaran, K. Subramani and Vahan Mkrtchyan

Publication date: 17 December 2009

Published in: Algorithms and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-10631-6_112

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Linear programming (90C05) Approximation methods and heuristics in mathematical programming (90C59) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Trichotomy for integer linear systems based on their sign patterns ⋮ A combinatorial algorithm for Horn programs ⋮ Feasibility checking in Horn constraint systems through a reduction based approach

Uses Software

• Yices

This page was built for publication: A Combinatorial Algorithm for Horn Programs