Sciweavers

721 search results - page 2 / 145
» On Generators of Random Quasigroup Problems
Sort
View
CORR
2011
Springer
151views Education» more  CORR 2011»
12 years 12 months ago
Generating Probability Distributions using Multivalued Stochastic Relay Circuits
— The problem of random number generation dates
David Lee, Jehoshua Bruck
CADE
2004
Springer
14 years 5 months ago
Automatic Generation of Classification Theorems for Finite Algebras
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
Simon Colton, Andreas Meier, Volker Sorge, Roy L. ...
CP
2005
Springer
13 years 10 months ago
Multi-point Constructive Search
Abstract. Multi-Point Constructive Search maintains a small set of “elite solutions” that are used to heuristically guide constructive search through periodically restarting se...
J. Christopher Beck
AAAI
2007
13 years 7 months ago
Using Expectation Maximization to Find Likely Assignments for Solving CSP's
We present a new probabilistic framework for finding likely variable assignments in difficult constraint satisfaction problems. Finding such assignments is key to efficient sea...
Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, She...
RSA
2006
104views more  RSA 2006»
13 years 4 months ago
The satisfiability threshold for randomly generated binary constraint satisfaction problems
Abstract. We study two natural models of randomly generated constraint satisfaction problems. We determine how quickly the domain size must grow with n to ensure that these models ...
Alan M. Frieze, Michael Molloy