Verifying the uniform candy distribution puzzle with CSP Prover

dc.contributor.authorIsobe, Yoshinao
dc.contributor.authorRoggenbach, Markus
dc.contributor.emailM.Roggenbach@swansea.ac.uken_US
dc.date.accessioned2009-03-11T08:29:25Z
dc.date.available2009-03-11T08:29:25Z
dc.date.created2008-06-28
dc.date.issued2009-03-11T08:29:25Z
dc.descriptionThe Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
dc.identifier.citationIsobe, Y & Roggenbach, M 2008, 'Verifying the uniform candy distribution puzzle with CSP Prover', in Colloquium and Festschrift at the occasion of the 60th birthday of Derrick Kourie (Computer Science), Windy Brow, South Afica, 28 June 2008.[http://www.cs.up.ac.za/cs/sgruner/Festschrift/]
dc.identifier.urihttp://hdl.handle.net/2263/9224
dc.language.isoenen_US
dc.rightsMarkus Roggenbachen_US
dc.subjectCSPen_US
dc.subjectAutomated proofsen_US
dc.subjectCorrectnessen_US
dc.subject.lcshSelf-organizing systems -- Data processing
dc.subject.lcshCSP (Computer program language)
dc.titleVerifying the uniform candy distribution puzzle with CSP Proveren_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Isobe_Verifying(2008).pdf
Size:
169.01 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
2.44 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie)
Simple item page