HordeSat: A Massively Parallel Portfolio SAT Solver
-
Autor:
Tomás Balyo, Peter Sanders, Carsten Sinz
-
Quelle:
18th SAT 2015: Austin, TX, USA: 156-172
Tomás Balyo, Peter Sanders, Carsten Sinz
18th SAT 2015: Austin, TX, USA: 156-172