Login / Signup
Symmetries, almost symmetries, and lazy clause generation.
Geoffrey Chu
Maria Garcia de la Banda
Christopher Mears
Peter J. Stuckey
Published in:
Constraints An Int. J. (2014)
Keyphrases
</>
symmetry breaking
evolutionary algorithm
real time
learning algorithm
relational databases
multiresolution
constraint programming