%0 Conference Paper %1 conf/aaai/OSullivanH07 %A O'Sullivan, Barry %A Horan, John %B AAAI %D 2007 %I AAAI Press %K dblp %P 1974-1975 %T Generating and Solving Logic Puzzles through Constraint Satisfaction. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2007.html#OSullivanH07 %@ 978-1-57735-323-2

@inproceedings{conf/aaai/OSullivanH07, added-at = {2023-09-05T00:00:00.000+0200}, author = {O'Sullivan, Barry and Horan, John}, biburl = {https://www.bibsonomy.org/bibtex/27a278a4ae103776048a2053fdc9b2bde/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2007}, ee = {http://www.aaai.org/Library/AAAI/2007/aaai07-361.php}, interhash = {5140344337153bd09d7d7756980ab9ee}, intrahash = {7a278a4ae103776048a2053fdc9b2bde}, isbn = {978-1-57735-323-2}, keywords = {dblp}, pages = {1974-1975}, publisher = {AAAI Press}, timestamp = {2024-04-10T17:37:56.000+0200}, title = {Generating and Solving Logic Puzzles through Constraint Satisfaction.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2007.html#OSullivanH07}, year = 2007 }