Pages that link to "Item:Q1028939"
From MaRDI portal
The following pages link to Random constraint satisfaction: easy generation of hard (satisfiable) instances (Q1028939):
Displayed 23 items.
- A general model and thresholds for random constraint satisfaction problems (Q359981) (← links)
- STR2: optimized simple tabular reduction for table constraints (Q429802) (← links)
- On the phase transitions of random \(k\)-constraint satisfaction problems (Q543632) (← links)
- Local search with edge weighting and configuration checking heuristics for minimum vertex cover (Q646517) (← links)
- Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability (Q840834) (← links)
- The scaling window of the model \(d\)-\(k\)-CSP (Q890505) (← links)
- An upper (lower) bound for Max (Min) CSP (Q893727) (← links)
- On the parameterized vertex cover problem for graphs with perfect matching (Q893740) (← links)
- Reasoning from last conflict(s) in constraint programming (Q1045989) (← links)
- Threshold behaviors of a random constraint satisfaction problem with exact phase transitions (Q1944183) (← links)
- Incomplete inference for graph problems (Q1947627) (← links)
- Weight-based heuristics for constraint satisfaction and combinatorial optimization problems (Q1951176) (← links)
- STR3: a path-optimal filtering algorithm for table constraints (Q2341830) (← links)
- Optimal and efficient filtering algorithms for table constraints (Q2342592) (← links)
- Large hypertree width for sparse random hypergraphs (Q2343976) (← links)
- On the constraint length of random \(k\)-CSP (Q2352362) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- Complete Boolean satisfiability solving algorithms based on local search (Q2434568) (← links)
- PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS: A FURTHER STEP (Q2909190) (← links)
- NEW WORST-CASE UPPER BOUND FOR COUNTING EXACT SATISFIABILITY (Q2941085) (← links)
- Two Hardness Results on Feedback Vertex Sets (Q3004674) (← links)
- Super Solutions of Random Instances of Satisfiability (Q3452579) (← links)
- A Model to Study Phase Transition and Plateaus in Relational Learning (Q3543267) (← links)