Verifying the uniform candy distribution puzzle with CSP Prover

Verifying the uniform candy distribution puzzle with CSP Prover

Isobe, Yoshinao; Roggenbach, Markus
URI: http://hdl.handle.net/2263/9224
Date: 2009-03-11

Description:

The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.

Show full item record

Files in this item

Icon
Name: Isobe_Verifying(2 ...
Size: 169.0Kb
Format: PDF
View/Open

This item appears in the following Collection(s)