%0 Conference Paper %1 conf/ijcai/DudekMV17 %A Dudek, Jeffrey M. %A Meel, Kuldeep S. %A Vardi, Moshe Y. %B IJCAI %D 2017 %E Sierra, Carles %I ijcai.org %K dblp %P 600-606 %T The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#DudekMV17 %@ 978-0-9992411-0-3

@inproceedings{conf/ijcai/DudekMV17, added-at = {2019-08-20T00:00:00.000+0200}, author = {Dudek, Jeffrey M. and Meel, Kuldeep S. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2ad88cdce6919f84edf7a744f5f22864a/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2017}, editor = {Sierra, Carles}, ee = {https://doi.org/10.24963/ijcai.2017/84}, interhash = {6fbeadd71e8309d8e025018e7c3e9e09}, intrahash = {ad88cdce6919f84edf7a744f5f22864a}, isbn = {978-0-9992411-0-3}, keywords = {dblp}, pages = {600-606}, publisher = {ijcai.org}, timestamp = {2019-08-21T11:50:23.000+0200}, title = {The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#DudekMV17}, year = 2017 }