Sciweavers

79 search results - page 2 / 16
» cp 2006
Sort
View
CP
2006
Springer
13 years 8 months ago
Compiling Finite Linear CSP into SAT
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Muts...
BIOINFORMATICS
2006
129views more  BIOINFORMATICS 2006»
13 years 4 months ago
Predicting methylation status of CpG islands in the human brain
Motivation: Over 50% of human genes contain CpG islands in their 5'-regions. Methylation patterns of CpG islands are involved in tissue-specific gene expression and regulatio...
Fang Fang, Shicai Fan, Xuegong Zhang, Michael Q. Z...
COCO
2006
Springer
89views Algorithms» more  COCO 2006»
13 years 8 months ago
Hardness of the Covering Radius Problem on Lattices
We provide the first hardness result for the Covering Radius Problem on lattices (CRP). Namely, we show that for any large enough p there exists a constant cp > 1 such that C...
Ishay Haviv, Oded Regev
CP
2006
Springer
13 years 8 months ago
General Symmetry Breaking Constraints
We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking constraints to deal with symmetries acting simulta...
Toby Walsh
CP
2006
Springer
13 years 8 months ago
When Interval Analysis Helps Inter-block Backtracking
Inter-block backtracking (IBB) computes all the solutions of sparse systems of non-linear equations over the reals. This algorithm, introduced in 1998 by Bliek et al., handles a sy...
Bertrand Neveu, Gilles Chabert, Gilles Trombettoni