Dr Marcin Kozik (Algorithmics Research Group, Jagiellonian University) presents new versions of tools which will work for all varieties of constraint satisfaction problems.
Copyright La Trobe University 2013, all rights reserved. Contact for permissions.