APA Citation

Roggenbach, M., & Isobe, Y. (2008). Verifying the uniform candy distribution puzzle with CSP-Prover. University Pretoria.

Chicago Style Citation

Roggenbach, Markus, and Yohinao Isobe. Verifying the Uniform Candy Distribution Puzzle With CSP-Prover. University Pretoria, 2008.

MLA Citation

Roggenbach, Markus, and Yohinao Isobe. Verifying the Uniform Candy Distribution Puzzle With CSP-Prover. University Pretoria, 2008.

Warning: These citations may not always be 100% accurate.