Analyzing read-once cutting plane proofs in Horn systems (Q2673307): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-022-09618-2
+Normal rank
@@ Property / OpenAlex ID @@
+W4214507692
@@ Property / OpenAlex ID: W4214507692 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113901235
@@ Property / Wikidata QID: Q113901235 / rank @@
+Normal rank
@@ Property / cites work @@
+Restricted cutting plane proofs in Horn constraint systems
+Normal rank
@@ Property / cites work @@
+A combinatorial algorithm for Horn programs
@@ Property / cites work: A combinatorial algorithm for Horn programs / rank @@
+Normal rank
@@ Property / cites work @@
+Certifying algorithms
@@ Property / cites work: Certifying algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471290
@@ Property / cites work: Q4471290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471306
@@ Property / cites work: Q4471306 / rank @@
+Normal rank
@@ Property / cites work @@
+Certifying algorithms for recognizing proper circular-arc graphs and unit circular-arc graphs
+Normal rank
@@ Property / cites work @@
+Feasibility checking in Horn constraint systems through a reduction based approach
+Normal rank
@@ Property / cites work @@
+Input Proofs and Rank One Cutting Planes
@@ Property / cites work: Input Proofs and Rank One Cutting Planes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202942
@@ Property / cites work: Q4202942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943600
@@ Property / cites work: Q4943600 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Horn Clause Solvers for Program Verification
@@ Property / cites work: Horn Clause Solvers for Program Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5114417
@@ Property / cites work: Q5114417 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Forward and Backward Abstract Interpretation of Horn Clauses
+Normal rank
@@ Property / cites work @@
+What is answer set programming to propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q4263835
@@ Property / cites work: Q4263835 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for the verification of certifying computations
+Normal rank
@@ Property / cites work @@
+Optimal length resolution refutations of difference constraint systems
+Normal rank
@@ Property / cites work @@
+A polynomial time algorithm for read-once certification of linear infeasibility in UTVPI constraints
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+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 @@
+Finding read-once resolution refutations in systems of 2CNF clauses
+Normal rank
@@ Property / cites work @@
+Q4539605
@@ Property / cites work: Q4539605 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Read-once resolutions in Horn formulas
@@ Property / cites work: Read-once resolutions in Horn formulas / rank @@
+Normal rank
@@ Property / cites work @@
+On finding short resolution refutations and small unsatisfiable subsets
+Normal rank
@@ Property / cites work @@
+On unit read-once resolutions and copy complexity
@@ Property / cites work: On unit read-once resolutions and copy complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4764626
@@ Property / cites work: Q4764626 / rank @@
+Normal rank
@@ Property / cites work @@
+PRIMES is in P
@@ Property / cites work: PRIMES is in P / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms
@@ Property / cites work: Parameterized Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of approximating the independent set problem
+Normal rank