Towards a complete constraint solver on GPU

Publication
Proc of ParSearchOpt

Related