A New Algorithm for Linear and Integer Feasibility in Horn Constraints

DOI10.1007/978-3-642-21311-3_21zbMath1302.90126OpenAlexW1822646258MaRDI QIDQ3003291

James Worthington, K. Subramani and Vahan Mkrtchyan

Publication date: 26 May 2011

Published in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21311-3_21

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Integer programming (90C10) Linear programming (90C05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Trichotomy for integer linear systems based on their sign patterns

This page was built for publication: A New Algorithm for Linear and Integer Feasibility in Horn Constraints