A Graphical Theorem of the Alternative for UTVPI Constraints

DOI10.1007/978-3-319-25150-9_20zbMath1471.68262OpenAlexW2239619723MaRDI QIDQ2787434

K. Subramani and Vahan Mkrtchyan, Piotr J. Wojciechowski

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_20

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

An Optimal Algorithm for Computing the Integer Closure of UTVPI Constraints ⋮ Incrementally closing octagons

This page was built for publication: A Graphical Theorem of the Alternative for UTVPI Constraints