%0 Conference Paper %1 conf/gcai/Philipp16 %A Philipp, Tobias %B GCAI %D 2016 %E Benzmüller, Christoph %E Sutcliffe, Geoff %E Rojas, Raúl %I EasyChair %K dblp %P 24-38 %T Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing. %U http://dblp.uni-trier.de/db/conf/gcai/gcai2016.html#Philipp16 %V 41

@inproceedings{conf/gcai/Philipp16, added-at = {2021-08-15T00:00:00.000+0200}, author = {Philipp, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/28286fb66603ae7881ccacf17f012a5be/dblp}, booktitle = {GCAI}, crossref = {conf/gcai/2016}, editor = {Benzmüller, Christoph and Sutcliffe, Geoff and Rojas, Raúl}, ee = {https://doi.org/10.29007/68qz}, interhash = {41fa49a171f4176f89225e40dcd63559}, intrahash = {8286fb66603ae7881ccacf17f012a5be}, keywords = {dblp}, pages = {24-38}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:30:43.000+0200}, title = {Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing.}, url = {http://dblp.uni-trier.de/db/conf/gcai/gcai2016.html#Philipp16}, volume = 41, year = 2016 }