Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden (Q5881807): Difference between revisions

@@ Property / author @@
+Xiao-Yi Hu
@@ Property / author: Xiao-Yi Hu / 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.1613/jair.1.13909
+Normal rank
@@ Property / OpenAlex ID @@
+W4318453039
@@ Property / OpenAlex ID: W4318453039 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for random 3-SAT via differential equations
+Normal rank
@@ Property / cites work @@
+Q5715725
@@ Property / cites work: Q5715725 / rank @@
+Normal rank
@@ Property / cites work @@
+(If) Size Matters: Size-Hiding Private Set Intersection
+Normal rank
@@ Property / cites work @@
+A model of random industrial SAT
@@ Property / cites work: A model of random industrial SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840764
@@ Property / cites work: Q4840764 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Size-Hiding Private Set Intersection
@@ Property / cites work: Bounded Size-Hiding Private Set Intersection / rank @@
+Normal rank
@@ Property / cites work @@
+Generating SAT instances with community structure
@@ Property / cites work: Generating SAT instances with community structure / rank @@
+Normal rank
@@ Property / cites work @@
+Popularity-similarity random SAT formulas
@@ Property / cites work: Popularity-similarity random SAT formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624048
@@ Property / cites work: Q3624048 / rank @@
+Normal rank
@@ Property / cites work @@
+Hiding the Input-Size in Secure Two-Party Computation
+Normal rank
@@ Property / cites work @@
+Generating hard satisfiability problems
@@ Property / cites work: Generating hard satisfiability problems / rank @@
+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:5881807