A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming (Q507445): Difference between revisions

@@ Property / author @@
-Peng Zhang
@@ Property / author: Peng Zhang / rank @@
-Normal rank
@@ Property / author @@
+Peng Zhang
@@ Property / author: Peng Zhang / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q87
@@ Property / Mathematics Subject Classification ID: 68Q87 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6680878
@@ Property / zbMATH DE Number: 6680878 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generalized solution concepts
@@ Property / zbMATH Keywords: generalized solution concepts / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+super solutions
@@ Property / zbMATH Keywords: super solutions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint satisfaction
@@ Property / zbMATH Keywords: constraint satisfaction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+random instances
@@ Property / zbMATH Keywords: random instances / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probabilistic method
@@ Property / zbMATH Keywords: probabilistic method / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+threshold phenomena
@@ Property / zbMATH Keywords: threshold phenomena / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2016.04.041
+Normal rank
@@ Property / OpenAlex ID @@
+W2416495215
@@ Property / OpenAlex ID: W2416495215 / rank @@
+Normal rank
@@ Property / cites work @@
+The threshold for random k-SAT is 2             <sup>k</sup>             (ln 2 - O(k))
+Normal rank
@@ Property / cites work @@
+A Spectral Technique for Coloring Random 3-Colorable Graphs
+Normal rank
@@ Property / cites work @@
+Q3503433
@@ Property / cites work: Q3503433 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithmic approach to the Lovász local lemma. I
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial sharpness criterion and phase transition classification for random CSPs
+Normal rank
@@ Property / cites work @@
+Frozen development in graph coloring
@@ Property / cites work: Frozen development in graph coloring / rank @@
+Normal rank
@@ Property / cites work @@
+The \(b\)-chromatic index of graphs
@@ Property / cites work: The \(b\)-chromatic index of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624064
@@ Property / cites work: Q3624064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+The b-chromatic number of a graph
@@ Property / cites work: The b-chromatic number of a graph / rank @@
+Normal rank
@@ Property / cites work @@
+On Syntactic versus Computational Views of Approximability
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: easy generation of hard (satisfiable) instances
+Normal rank
@@ Property / cites work @@
+Q4954175
@@ Property / cites work: Q4954175 / rank @@
+Normal rank
@@ Property / cites work @@
+Many hard examples in exact phase transitions
@@ Property / cites work: Many hard examples in exact phase transitions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:507445