Results 291 to 300 of about 15,021 (304)

GLOPTLAB: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems

Optimization Methods and Software, 2009
Ferenc Domes
exaly  

The Resolution Complexity of Random Constraint Satisfaction Problems

SIAM Journal on Computing, 2007
Michael Molloy, Mohammad R Salavatipour
exaly  

Quiet Planting in the Locked Constraint Satisfaction Problems

SIAM Journal on Discrete Mathematics, 2011
Lenka Zdeborová, Florent Krzakala
exaly  

Using autonomous search for solving constraint satisfaction problems via new modern approaches

Swarm and Evolutionary Computation, 2016
Ricardo Soto, Broderick Crawford, Rodrigo Olivares   +2 more
exaly  

Constraint Satisfaction Problems Solvable by Local Consistency Methods

Journal of the ACM, 2014
Libor Barto, Marcin Kozik
exaly  

Constructing an asymptotic phase transition in random binary constraint satisfaction problems

Theoretical Computer Science, 2001
Barbara M Smith
exaly  

A Forward-Checking algorithm based on a Generalised Hypertree Decomposition for solving non-binary constraint satisfaction problems

Journal of Experimental and Theoretical Artificial Intelligence, 2015
Kamal Amroun, Daniel Singer
exaly  

An empirical study of phase transitions in binary constraint satisfaction problems

Artificial Intelligence, 1996
exaly  

Locating the phase transition in binary constraint satisfaction problems

Artificial Intelligence, 1996
Barbara M Smith, Martin Dyer
exaly  

Solving quantified constraint satisfaction problems

Artificial Intelligence, 2008
Ian P Gent, Peter Nightingale, Kostas Stergiou   +2 more
exaly