Title: Symmetry propagation: Improved dynamic symmetry breaking in SAT
Authors: Devriendt, Jo ×
Bogaerts, Bart
Mears, Chris
De Cat, Broes
Denecker, Marc #
Issue Date: 6-Oct-2012
Conference: SymCon edition:2012 location:Québec City date:6-8 October 2012
Description: This is a presentation about the Symmetry Propagation algorithm, given by Chris Mears at the SymCon 2012 conference in Québec City.
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
SymCon12_Chris.pdf Published 129KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.