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

From MaRDI portal
Publication:1028939

DOI10.1016/j.artint.2007.04.001zbMath1168.68554OpenAlexW1990734013MaRDI QIDQ1028939

Fred Hemery, Ke Xu, Christophe Lecoutre, Frédéric Boussemart

Publication date: 9 July 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2007.04.001




Related Items (43)

Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply HiddenData reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiabilityA review on algorithms for maximum clique problemsSuper Solutions of Random Instances of SatisfiabilityPHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS: A FURTHER STEPPerformances of pure random walk algorithms on constraint satisfaction problems with growing domainsThe solution space structure of planted constraint satisfaction problems with growing domainsOn minimization of the number of branches in branch-and-bound algorithms for the maximum clique problemAn approximation Lagrangian-based algorithm for the maximum clique problem via deterministic annealing neural networkClustering phase of a general constraint satisfaction problem model \(d\)-\(k\)-CSPA general model and thresholds for random constraint satisfaction problemsNEW WORST-CASE UPPER BOUND FOR COUNTING EXACT SATISFIABILITYThe scaling window of the model \(d\)-\(k\)-CSPAn upper (lower) bound for Max (Min) CSPOn the parameterized vertex cover problem for graphs with perfect matchingImproved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanismMaximum independent sets and supervised learningThreshold behaviors of a random constraint satisfaction problem with exact phase transitionsSTR2: optimized simple tabular reduction for table constraintsIncomplete inference for graph problemsA taxonomy of exact methods for partial Max-SATComplete Boolean satisfiability solving algorithms based on local searchWeight-based heuristics for constraint satisfaction and combinatorial optimization problemsLocal search with edge weighting and configuration checking heuristics for minimum vertex coverIncremental Upper Bound for the Maximum Clique ProblemA Model to Study Phase Transition and Plateaus in Relational LearningFractional Edge Cover Number of Model RBConstructing concrete hard instances of the maximum independent set problemTwo Hardness Results on Feedback Vertex SetsA probabilistic study of generalized solution concepts in satisfiability testing and constraint programmingOn the phase transitions of random \(k\)-constraint satisfaction problemsBounding the scaling window of random constraint satisfaction problemsSCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problemPareto optimization for subset selection with dynamic cost constraintsBelief propagation guided decimation algorithms for random constraint satisfaction problems with growing domainsReasoning from last conflict(s) in constraint programmingFrom MDD to BDD and arc consistencyA study on sequential minimal optimization methods for standard quadratic problemsSTR3: a path-optimal filtering algorithm for table constraintsOptimal and efficient filtering algorithms for table constraintsLarge hypertree width for sparse random hypergraphsGenerating hard satisfiable instances by planting into random constraint satisfaction problem model with growing constraint scope lengthOn the constraint length of random \(k\)-CSP



Cites Work


This page was built for publication: Random constraint satisfaction: easy generation of hard (satisfiable) instances