Book chapter 1288 views
Verifying the uniform candy distribution puzzle with CSP-Prover
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 |
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. |