A polynomial time algorithm for read-once certification of linear infeasibility in UTVPI constraints (Q2415363): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00453-019-00554-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2919232531
@@ Property / OpenAlex ID: W2919232531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218098
@@ Property / cites work: Q4218098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4399249
@@ Property / cites work: Q4399249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Scaling Algorithms for Weighted Matching in General Graphs
+Normal rank
@@ Property / cites work @@
+The directed subgraph homeomorphism problem
@@ Property / cites work: The directed subgraph homeomorphism problem / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Implementation of Edmonds' Algorithm for Maximum Matching on Graphs
+Normal rank
@@ Property / cites work @@
+Q3138921
@@ Property / cites work: Q3138921 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric dispatching of hard real-time tasks
@@ Property / cites work: Parametric dispatching of hard real-time tasks / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Simple and Fast Algorithms for Linear and Integer Programs with Two Variables Per Inequality
+Normal rank
@@ Property / cites work @@
+Q4699307
@@ Property / cites work: Q4699307 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding read-once resolution refutations in systems of 2CNF clauses
+Normal rank
@@ Property / cites work @@
+The complexity of read-once resolution
@@ Property / cites work: The complexity of read-once resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial optimization. Theory and algorithms.
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943600
@@ Property / cites work: Q4943600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal length resolution refutations of difference constraint systems
+Normal rank
@@ Property / cites work @@
+Improved algorithms for optimal length resolution refutation in difference constraint systems
+Normal rank
@@ Property / cites work @@
+A combinatorial certifying algorithm for linear feasibility in UTVPI constraints
+Normal rank
@@ Property / cites work @@
+Q4539605
@@ Property / cites work: Q4539605 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Propositional                                                   Proofs
@@ Property / cites work: The Complexity of Propositional Proofs / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128277421
@@ Property / Wikidata QID: Q128277421 / rank @@
+Normal rank