High-level specification and efficient solving of constraint satisfaction problems (Uppsala theses in computing science)
by Torkel Hjerpe
details (USA).
ISBN: 978-91-506-1115-1
ISBN-10: 91-506-1115-1
Computing Science Dept., Uppsala University · 1995