iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/sat/PrevotSM21.xml
Nicolas Prevot Mate Soos Kuldeep S. Meel Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. 471-487 2021 SAT https://doi.org/10.1007/978-3-030-80223-3_32 conf/sat/2021 db/conf/sat/sat2021.html#PrevotSM21