Book chapter 1868 views
Verifying the uniform candy distribution puzzle with CSP-Prover
Yohinao Isobe,
Markus Roggenbach 
Start page: ??? pp.
Swansea University Author:
Markus Roggenbach
Abstract
Verifying the uniform candy distribution puzzle with CSP-Prover
| Published: |
University Pretoria
2008
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa24 |
| 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. |