@inproceedings{,
	author          = {Marijn J.H. Heule},
	title           = {Solving edge-matching problems with satisfiability solvers},
	booktitle       = {Proceedings of the Second International Workshop on Logic and Search (LaSh 2008)},
	publisher       = {University of Leuven},
	year            = {2008},
	pages           = {88-102},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/eternity.pdf},
	project         = {SAT},
	group           = {ALG}
}