> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Symmetries, almost symmetries, and lazy clause generation Beteiligte: Chu, Geoffrey; Garcia de la Banda, Maria; Mears, Christopher; Stuckey, Peter J. Erschienen: Springer Science and Business Media LLC, 2014 Erschienen in: Constraints Sprache: Englisch DOI: 10.1007/s10601-014-9163-9 ISSN: 1383-7133; 1572-9354 Schlagwörter: Artificial Intelligence ; Computational Theory and Mathematics ; Discrete Mathematics and Combinatorics ; Software Entstehung: Anmerkungen: