1. Demaine, E.D., Demaine, M.L.: Jigsaw puzzles, edge matching, and polyomino packing: connections and complexity. Graphs Combinator. 23, 195–208 (2007). https://doi.org/10.1007/s00373-007-0713-4
2. Ansótegui, C., Bonet, M.L., Levy, J., Manya, F.: Measuring the hardness of sat instances. In: Twenty-Third AAAI Conference on Artificial Intelligence, pp. 222–228 (2008)
3. Selby, A., Riordan, O.: Eternity - description of method (2000). http://www.archduke.org/eternity/method/desc.html
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);G Harris,2018
5. Series of Books in the Mathematical Sciences;MR Garey,1979