A generative power-law search tree model (Q1010292): Difference between revisions

@@ Property / DOI @@
-.1016/j.cor.2008.08.017
@@ Property / DOI: 10.1016/j.cor.2008.08.017 / rank @@
-Normal rank
@@ Property / author @@
-Q1010291
@@ Property / author: Q1010291 / rank @@
-Normal rank
@@ Property / author @@
+Carla P. Gomes
@@ Property / author: Carla P. Gomes / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BerkMin
@@ Property / describes a project that uses: BerkMin / rank @@
+Normal rank
@@ 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.1016/j.cor.2008.08.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2073288358
@@ Property / OpenAlex ID: W2073288358 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57710950
@@ Property / Wikidata QID: Q57710950 / rank @@
+Normal rank
@@ Property / cites work @@
+Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Random backtracking in backtrack search algorithms for satisfiability
+Normal rank
@@ Property / cites work @@
+Q5715680
@@ Property / cites work: Q5715680 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / 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 @@
+The hardest constraint problems: A double phase transition
+Normal rank
@@ Property / cites work @@
+Easy problems are sometimes hard
@@ Property / cites work: Easy problems are sometimes hard / rank @@
+Normal rank
@@ Property / cites work @@
+The impact of search heuristics on heavy-tailed behaviour
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical regimes across constrainedness regions
+Normal rank
@@ Property / cites work @@
+A Brief History of Generative Models for Power Law and Lognormal Distributions
+Normal rank
@@ Property / cites work @@
+Q4475647
@@ Property / cites work: Q4475647 / rank @@
+Normal rank
@@ Property / cites work @@
+Phase transitions and the search problem
@@ Property / cites work: Phase transitions and the search problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301585
@@ Property / cites work: Q4301585 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040765
@@ Property / cites work: Q4040765 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582722
@@ Property / cites work: Q5582722 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217357
@@ Property / cites work: Q4217357 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/cor/CarvalhoCG09
@@ Property / DBLP publication ID: journals/cor/CarvalhoCG09 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.COR.2008.08.017
@@ Property / DOI: 10.1016/J.COR.2008.08.017 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1010292