Symmetry within Solutions

MJH Heule; T Walsh

Symmetry within Solutions

MJH Heule, T Walsh

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

9 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI '10)
Editors	M Fox, D Poole
Place of Publication	California
Publisher	American Association for Artificial Intelligence (AAAI)
Pages	77-82
Number of pages	6
ISBN (Print)	978-1-57735-463-5
Publication status	Published - 2010
Event	AAAI '10 - California Duration: 11 Jul 2010 → 15 Jul 2010

Publication series

Name
Publisher	AAAI Press

Conference

Conference	AAAI '10
Period	11/07/10 → 15/07/10

Keywords

Conf.proc. > 3 pag

Cite this

@inproceedings{88ca5b56a80745989149369c9a3e39ad,

title = "Symmetry within Solutions",

keywords = "Conf.proc. > 3 pag",

author = "MJH Heule and T Walsh",

year = "2010",

language = "English",

isbn = "978-1-57735-463-5",

publisher = "American Association for Artificial Intelligence (AAAI)",

pages = "77--82",

editor = "M Fox and D Poole",

booktitle = "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI '10)",

address = "United States",

note = "AAAI '10 ; Conference date: 11-07-2010 Through 15-07-2010",

}

Symmetry within Solutions. / Heule, MJH; Walsh, T.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI '10). ed. / M Fox; D Poole. California: American Association for Artificial Intelligence (AAAI), 2010. p. 77-82.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Symmetry within Solutions

AU - Heule, MJH

AU - Walsh, T

PY - 2010

Y1 - 2010

KW - Conf.proc. > 3 pag

UR - http://www.st.ewi.tudelft.nl/~marijn/publications/AAAI10.pdf

M3 - Conference contribution

SN - 978-1-57735-463-5

SP - 77

EP - 82

BT - Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI '10)

A2 - Fox, M

A2 - Poole, D

PB - American Association for Artificial Intelligence (AAAI)

CY - California

T2 - AAAI '10

Y2 - 11 July 2010 through 15 July 2010

ER -

Symmetry within Solutions

Publication series

Conference

Keywords

Other files and links

Cite this