Predicate Detection to Solve Combinatorial Optimization Problems-Reference-Cited by-同舟云学术

Predicate Detection to Solve Combinatorial Optimization Problems

Published:2020-07-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures
language:
Short-container-title:

Author:

Garg Vijay K.¹

Affiliation:

1. University of Texas at Austin, Austin, TX, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3350755.3400235

Reference19 articles.

1. Richard Bellman. 1958. On a routing problem. Quarterly of applied mathematics Vol. 16 1 (1958) 87--90. Richard Bellman. 1958. On a routing problem. Quarterly of applied mathematics Vol. 16 1 (1958) 87--90.

2. Dimitris Bertsimas and John N Tsitsiklis. 1997. Introduction to linear optimization. Vol. 6. Athena Scientific Belmont MA. Dimitris Bertsimas and John N Tsitsiklis. 1997. Introduction to linear optimization. Vol. 6. Athena Scientific Belmont MA.

3. G. Birkhoff. 1967. Lattice Theory. Providence R.I. third edition. G. Birkhoff. 1967. Lattice Theory. Providence R.I. third edition.

4. Detection of global predicates: Techniques and their limitations

5. Stable Marriage and Roommates problems with restricted edges: Complexity and approximability

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Runtime verification of partially-synchronous distributed system;Formal Methods in System Design;2024-06-14

2. Tolerance to Asynchrony of an Algorithm for Gathering Myopic Robots on an Infinite Triangular Grid;2024 19th European Dependable Computing Conference (EDCC);2024-04-08

3. Eventually lattice-linear algorithms;Journal of Parallel and Distributed Computing;2024-03

4. Parallel Algorithms for Equilevel Predicates;Proceedings of the 25th International Conference on Distributed Computing and Networking;2024-01-04

5. Inducing Lattices in Non-Lattice-Linear Problems;2023 42nd International Symposium on Reliable Distributed Systems (SRDS);2023-09-25