%0 Conference Paper %1 conf/pdp/MenouerB17 %A Menouer, Tarek %A Baarir, Souheib %B PDP %D 2017 %E Kotenko, Igor V. %E Cotronis, Yiannis %E Daneshtalab, Masoud %I IEEE Computer Society %K dblp %P 54-60 %T Parallel Satisfiability Solver Based on Hybrid Partitioning Method. %U http://dblp.uni-trier.de/db/conf/pdp/pdp2017.html#MenouerB17 %@ 978-1-5090-6058-0

@inproceedings{conf/pdp/MenouerB17, added-at = {2023-03-24T00:00:00.000+0100}, author = {Menouer, Tarek and Baarir, Souheib}, biburl = {https://www.bibsonomy.org/bibtex/2a3c70f4401a424ed08a267d9cfb73c4d/dblp}, booktitle = {PDP}, crossref = {conf/pdp/2017}, editor = {Kotenko, Igor V. and Cotronis, Yiannis and Daneshtalab, Masoud}, ee = {https://doi.ieeecomputersociety.org/10.1109/PDP.2017.70}, interhash = {870ccfc1154dc793d4c5cf48b8237f39}, intrahash = {a3c70f4401a424ed08a267d9cfb73c4d}, isbn = {978-1-5090-6058-0}, keywords = {dblp}, pages = {54-60}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:08:52.000+0200}, title = {Parallel Satisfiability Solver Based on Hybrid Partitioning Method.}, url = {http://dblp.uni-trier.de/db/conf/pdp/pdp2017.html#MenouerB17}, year = 2017 }