Exact and parameterized algorithms for read-once refutations in Horn constraint systems (Q2151419): Difference between revisions

@@ Property / cites work @@
+A new strongly polynomial dual network simplex algorithm
+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 @@
+A combinatorial algorithm for Horn programs
@@ Property / cites work: A combinatorial algorithm for Horn programs / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5798359
@@ Property / cites work: Q5798359 / rank @@
+Normal rank
@@ Property / cites work @@
+Kernelization
@@ Property / cites work: Kernelization / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete mathematics
@@ Property / cites work: Discrete mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Restricted cutting plane proofs in Horn constraint systems
+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 @@
+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 @@
+Feasibility checking in Horn constraint systems through a reduction based approach
+Normal rank
@@ Property / cites work @@
+Some consequences of non-uniform conditions on uniform classes
+Normal rank