No Cover Image

Book chapter 984 views

Verifying the uniform candy distribution puzzle with CSP-Prover

Yohinao Isobe, Markus Roggenbach Orcid Logo

Start page: ??? pp.

Swansea University Author: Markus Roggenbach Orcid Logo

Published: University Pretoria 2008
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In Colloquium and Festschrift on the Occasion of the 60th Birthday of Derrick Kourie, Pretoria, South Africa
College: Faculty of Science and Engineering
Start Page: ??? pp.