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

@@ Property / author @@
-John N. Hooker
@@ Property / author: John N. Hooker / rank @@
-Normal rank
@@ Property / author @@
+John N. Hooker
@@ Property / author: John N. Hooker / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02430364
+Normal rank
@@ Property / OpenAlex ID @@
+W2092993939
@@ Property / OpenAlex ID: W2092993939 / rank @@
+Normal rank