Author of the publication

Analyzing restricted fragments of the theory of linear arithmetic.

, , and . Ann. Math. Artif. Intell., 79 (1-3): 245-266 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Finding All Stable Pairs and Solutions to the Many-to-Many Stable Matching Problem., , , and . INFORMS J. Comput., 24 (2): 245-259 (2012)Computational complexity of inclusion queries over polyhedral sets., , , and . ISAIM, (2012)Cognitive Digital Twins for Resilience in Production: A Conceptual Framework., , , , , , , , and . Inf., 13 (1): 33 (2022)Erratum to: Analyzing restricted fragments of the theory of linear arithmetic., , and . Ann. Math. Artif. Intell., 79 (4): 371-392 (2017)A complexity perspective on entailment of parameterized linear constraints., , , and . Constraints An Int. J., 17 (4): 461-487 (2012)Pareto optimality in many-to-many matching problems., , , , , and . Discret. Optim., (2014)Analyzing restricted fragments of the theory of linear arithmetic., , and . Ann. Math. Artif. Intell., 79 (1-3): 245-266 (2017)Identifying Negative Cost Cycles in Strongly Polynomial Space., , and . Nord. J. Comput., 15 (2): 154-171 (2015)On the Shoshan-Zwick Algorithm for the All-Pairs Shortest Path Problem., , and . CoRR, (2016)The stable b-matching polytope revisited., , and . Discret. Appl. Math., (2018)