法比奥·塔迪沃 在GPU上进行约束编程的实验。 （英语） Zbl 07453148号 Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306427-432（2019年）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Tardivo}，电子。程序。西奥。计算。科学。（EPTCS）306427-432（2019；Zbl 07453148） 全文： arXiv公司 链接
罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 SUNNY-CP和MiniZin挑战。 （英语） Zbl 1425.68384号 理论与实践。日志。程序。 18，第1期，81-96（2018）.MSC公司：68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{R.Amadini}等人，《理论与实践》。日志。程序。18，第1号，81--96（2018；Zbl 1425.68384） 全文： 内政部 arXiv公司