Sciweavers

253 search results - page 11 / 51
» Conditional Symmetry Breaking
Sort
View
124
Voted
CP
2007
Springer
15 years 7 months ago
Local Symmetry Breaking During Search in CSPs
Belaid Benhamou, Mohamed Réda Saïdi
87
Voted
IJCAI
2007
15 years 5 months ago
Symmetry Breaking in Quantified Boolean Formulae
Gilles Audemard, Saïd Jabbour, Lakhdar Sais
128
Voted
JACM
2008
90views more  JACM 2008»
15 years 3 months ago
Bit complexity of breaking and achieving symmetry in chains and rings
We consider a failure-free, asynchronous message passing network with n links, where the processors are arranged on a ring or a chain. The processors are identically programmed bu...
Yefim Dinitz, Shlomo Moran, Sergio Rajsbaum
87
Voted
JEA
2007
62views more  JEA 2007»
15 years 3 months ago
Symmetry breaking for pseudo-Boolean formulas
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...