Generating Difficult CNF Instances in Unexplored Constrainedness Regions (Q6039929): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1145/3385651
@@ Property / full work available at URL: https://doi.org/10.1145/3385651 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3023742384
@@ Property / OpenAlex ID: W3023742384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental results on the crossover point in random 3-SAT
+Normal rank
@@ Property / cites work @@
+Q3624048
@@ Property / cites work: Q3624048 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Threshold values of random <i>K</i>‐SAT from the cavity method
+Normal rank
@@ Property / cites work @@
+Chronological backtracking
@@ Property / cites work: Chronological backtracking / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Collective dynamics of ‘small-world’ networks
@@ Property / cites work: Collective dynamics of ‘small-world’ networks / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6039929