Testing heuristics: We have it all wrong (Q1922626): Difference between revisions

@@ Property / cites work @@
+Recognizing disguised NR(1) instances of the satisfiability problem
+Normal rank
@@ Property / cites work @@
+On renamable Horn and generalized Horn functions
@@ Property / cites work: On renamable Horn and generalized Horn functions / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting embedded Horn structure in propositional logic
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computational Study of Satisfiability Algorithms for Propositional Logic
+Normal rank
@@ Property / cites work @@
+Needed: An Empirical Science of Algorithms
@@ Property / cites work: Needed: An Empirical Science of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Branch-and-cut solution of inference problems in propositional logic
+Normal rank
@@ Property / cites work @@
+Branching rules for satisfiability
@@ Property / cites work: Branching rules for satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Feature Article—Interior Point Methods for Linear Programming: Computational State of the Art
+Normal rank
@@ Property / cites work @@
+Feature Article—Toward an Experimental Method for Algorithm Simulation
+Normal rank