363 search results - page 21 / 73 » The SAT Phase Transition |
ICASSP
2011
IEEE
13 years 5 days ago
2011
IEEE
While an exact stationarization of a process with a given spectrum magnitude can be obtained via a complete randomization of the spectrum phase (“surrogates” technique), we pr...
ICONIP
2008
13 years 10 months ago
2008
Abstract. We study synchronization phenomena in a pair of integrateand-fire (IF) oscillators with the width of an action potential. They have slightly different periodic firings ea...
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We consider random walks on two classes of random graphs and explore the likely structure of the vacant set viz. the set of unvisited vertices. Let (t) be the subgraph induced by ...
ACRI
2004
Springer
14 years 1 months ago
2004
Springer
An experimental analysis of the asynchronous version of the “Game of Life” is performed to estimate how topology perturbations modify its evolution. We focus on the study of a ...