Dolius: A Distributed Parallel SAT Solving Framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette. Dolius: A Distributed Parallel SAT Solving Framework. In Daniel Le Berre, editor, POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria. Volume 27 of EPiC Series, pages 1-11, EasyChair, 2014. [doi]

This author has not been identified. Look up 'Gilles Audemard' in GoogleThis author has not been identified. Look up 'Benoît Hoessen' in GoogleThis author has not been identified. Look up 'Saïd Jabbour' in GoogleThis author has not been identified. Look up 'Cédric Piette' in Google

runs on WebDSL