Hostname: page-component-7b9c58cd5d-nzzs5 Total loading time: 0 Render date: 2025-03-16T04:19:25.583Z Has data issue: false hasContentIssue false

Constraint Solving and Planning with Picat by Neng-Fa Zhou , Håkan Kjellerstrand , and Jonathan Fruhman , xi + 148 pages, Springer, 2015. Paperback, ISBN 978-3-319-25881-2.

Published online by Cambridge University Press:  13 July 2016

ROMAN BARTÁK*
Affiliation:
Charles University in Prague (e-mail: bartak@ktiml.mff.cuni.cz)
Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Book Review
Copyright
Copyright © Cambridge University Press 2016