%0 Conference Paper %1 conf/aaai/HeuleW10 %A Heule, Marijn %A Walsh, Toby %B AAAI %D 2010 %E Fox, Maria %E Poole, David %I AAAI Press %K dblp %P 77-82 %T Symmetry in Solutions. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2010.html#HeuleW10

@inproceedings{conf/aaai/HeuleW10, added-at = {2023-09-04T00:00:00.000+0200}, author = {Heule, Marijn and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/21a56495009b22f8bf2274cb60ef61b29/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2010}, editor = {Fox, Maria and Poole, David}, ee = {https://doi.org/10.1609/aaai.v24i1.7549}, interhash = {694ac549cd370903d5a4eedc2458dae2}, intrahash = {1a56495009b22f8bf2274cb60ef61b29}, keywords = {dblp}, pages = {77-82}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:15:06.000+0200}, title = {Symmetry in Solutions.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2010.html#HeuleW10}, year = 2010 }