Generating hard satisfiable instances by planting into random constraint satisfaction problem model with growing constraint scope length (Q2111656): Difference between revisions

Revision as of 07:29, 31 July 2024

scientific article

Language	Label	Description	Also known as
English	Generating hard satisfiable instances by planting into random constraint satisfaction problem model with growing constraint scope length	scientific article

Statements

instance of

scholarly article

0 references

title

Generating hard satisfiable instances by planting into random constraint satisfaction problem model with growing constraint scope length (English)

0 references

0 references

0 references

0 references

0 references

17 January 2023

0 references

zbMATH Keywords

constraint satisfaction problem

0 references

solution space structure

0 references

phase transition

0 references

problem hardness

0 references

belief propagation

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.physa.2022.128367

0 references

cites work

Q3184605

0 references

Information, Physics, and Computation

0 references

Random constraint satisfaction: Flaws and structure

0 references

Principles and Practice of Constraint Programming – CP 2004

0 references

Q3624064

0 references

Constructing an asymptotic phase transition in random binary constraint satisfaction problems

0 references

The satisfiability threshold for randomly generated binary constraint satisfaction problems

0 references

Q4954175

0 references

On the phase transitions of random \(k\)-constraint satisfaction problems

0 references

A general model and thresholds for random constraint satisfaction problems

0 references

Belief propagation guided decimation algorithms for random constraint satisfaction problems with growing domains

0 references

Random constraint satisfaction: easy generation of hard (satisfiable) instances

0 references

The solution space structure of planted constraint satisfaction problems with growing domains

0 references

Quiet Planting in the Locked Constraint Satisfaction Problems

0 references

Q5715725

0 references

Theory and Applications of Satisfiability Testing

0 references

Q3624048

0 references

Two solutions to diluted \(p\)-spin models and XORSAT problems

0 references

Gibbs states and the set of solutions of random constraint satisfaction problems

0 references

On the freezing of variables in random constraint satisfaction problems

0 references

Survey propagation: An algorithm for satisfiability

0 references

On the solution-space geometry of random constraint satisfaction problems

0 references

On the solution‐space geometry of random constraint satisfaction problems

0 references

On the constraint length of random \(k\)-CSP

0 references

Clustering phase of a general constraint satisfaction problem model \(d\)-\(k\)-CSP

0 references

On the survey-propagation equations in random constraint satisfiability problems

0 references

Survey propagation as local equilibrium equations

0 references

Identifiers

DOI

10.1016/j.physa.2022.128367

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2111656

@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Information, Physics, and Computation
@@ Property / cites work: Information, Physics, and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: Flaws and structure
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Q3624064
@@ Property / cites work: Q3624064 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing an asymptotic phase transition in random binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+The satisfiability threshold for randomly generated binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q4954175
@@ Property / cites work: Q4954175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the phase transitions of random \(k\)-constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+A general model and thresholds for random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Belief propagation guided decimation algorithms for random constraint satisfaction problems with growing domains
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: easy generation of hard (satisfiable) instances
+Normal rank
@@ Property / cites work @@
+The solution space structure of planted constraint satisfaction problems with growing domains
+Normal rank
@@ Property / cites work @@
+Quiet Planting in the Locked Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Q5715725
@@ Property / cites work: Q5715725 / 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 @@
+Q3624048
@@ Property / cites work: Q3624048 / rank @@
+Normal rank
@@ Property / cites work @@
+Two solutions to diluted \(p\)-spin models and XORSAT problems
+Normal rank
@@ Property / cites work @@
+Gibbs states and the set of solutions of random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+On the freezing of variables in random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Survey propagation: An algorithm for satisfiability
+Normal rank
@@ Property / cites work @@
+On the solution-space geometry of random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+On the solution‐space geometry of random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+On the constraint length of random \(k\)-CSP
@@ Property / cites work: On the constraint length of random \(k\)-CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Clustering phase of a general constraint satisfaction problem model \(d\)-\(k\)-CSP
+Normal rank
@@ Property / cites work @@
+On the survey-propagation equations in random constraint satisfiability problems
+Normal rank
@@ Property / cites work @@
+Survey propagation as local equilibrium equations
@@ Property / cites work: Survey propagation as local equilibrium equations / rank @@
+Normal rank