363 search results - page 23 / 73 » The SAT Phase Transition |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We study the random m-ary search tree model (where m stands for the number of branches of the search tree), an important problem for data storage in computer science, using a varie...
SIAMAM
2008
13 years 8 months ago
2008
This work is devoted to the modelling of phase transition. The thermodynamic model for phase transition chosen is a model with two equations of state, each of them modelling one p...
EUROPAR
2005
Springer
14 years 2 months ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
CPHYSICS
2007
13 years 8 months ago
2007
We incorporate an attractive interaction in two dimensional optimal velocity model and investigate the stability of homogeneous flow. There exists a new type of instability and a...