Proceedings of the 1st Workshop on Parallel Methods for Constraint Solving (PCMS 11)

Authors

Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu,