UPSpace Home
→
Engineering, Built Environment and Information Technology
→
Browsing Engineering, Built Environment and Information Technology by Author

Browsing Engineering, Built Environment and Information Technology by Author "Isobe, Yoshinao"

Now showing items 1-1 of 1

Verifying the uniform candy distribution puzzle with CSP Prover

Isobe, Yoshinao; Roggenbach, Markus (2009-03-11)

Now showing items 1-1 of 1

Search UPSpace

Browse

All of UPSpace
This Community
- Issue Date
- Authors
- Titles
- Subjects
- Supervisor
- UP Author
- UP Postgraduate
- Type

My Account

UPSpace Workspace