A new algorithm for linear and integer feasibility in Horn constraints

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

Authors: J. Worthington, K. Subramani 

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

Recommendations

• Feasibility checking in Horn constraint systems through a reduction based approach
• A combinatorial algorithm for Horn programs
• A combinatorial algorithm for Horn programs
• On a generalization of Horn constraint systems
• An efficient algorithm for a class of constraint satisfaction problems

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 (3)

• A combinatorial algorithm for Horn programs
• 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)