painless-mcomsps and painless-mcomsps-sym

Ludovic Le Frioux,Hakan Metin,Souheib Baarir,Maximilien Colange,Julien Sopena,Fabrice Kordon

semanticscholar（2018）

引用 0|浏览0

暂无评分

摘要

This paper describes the solvers painless-mcomsps, and painless-mcomsps-sym submitted to the parallel track of the SAT Competition in 2018. They are parallel solvers instantiated with PArallel INstantiabLE Sat Solver (PaInleSS) framework and using MapleCOMSPS as core sequential solver.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要