Sciweavers

253 search results - page 11 / 51
» Conditional Symmetry Breaking
Sort
View
CP
2007
Springer
15 years 1 months ago
Local Symmetry Breaking During Search in CSPs
Belaid Benhamou, Mohamed Réda Saïdi
IJCAI
2007
14 years 11 months ago
Symmetry Breaking in Quantified Boolean Formulae
Gilles Audemard, Saïd Jabbour, Lakhdar Sais
80
Voted
JACM
2008
90views more  JACM 2008»
14 years 9 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
JEA
2007
62views more  JEA 2007»
14 years 9 months ago
Symmetry breaking for pseudo-Boolean formulas
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...