{"version":"1.0","type":"rich","provider_name":"EbookNetworking","provider_url":"https://www.ebooknetworking.net","title":"Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)","author_name":"Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman","thumbnail_url":"https://www.ebooknetworking.net/books/331/925/big3319258818.jpg","thumbnail_width":330,"thumbnail_height":500,"html":"<a href=\"https://www.ebooknetworking.net/books_detail-3319258818.html\">Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)</a>","width":400,"height":300}