A New Algorithm for Linear and Integer Feasibility in Horn Constraints

DOI10.1007/978-3-642-21311-3_21zbMATH Open1302.90126OpenAlexW1822646258MaRDI QIDQ3003291FDOQ3003291

K. Subramani, J. Worthington

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

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

Cited In (2)

• Trichotomy for integer linear systems based on their sign patterns
• Projection methods for finding the greatest element of the intersection of max-closed convex sets

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

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