iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/corr/abs-1710-06378.nt
. . "Jeffrey M. Dudek et al.: The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. (2017)" . _:ID_f1ed7649b201b51254716ea3f6cd4e13 . _:ID_f1ed7649b201b51254716ea3f6cd4e13 . _:ID_f1ed7649b201b51254716ea3f6cd4e13 . _:ID_f1ed7649b201b51254716ea3f6cd4e13 . _:ID_f1ed7649b201b51254716ea3f6cd4e13 "journals/corr/abs-1710-06378" . _:ID_011f659afc76c7a5b82dac4763fdd1b6 . _:ID_011f659afc76c7a5b82dac4763fdd1b6 . _:ID_011f659afc76c7a5b82dac4763fdd1b6 . _:ID_011f659afc76c7a5b82dac4763fdd1b6 . _:ID_011f659afc76c7a5b82dac4763fdd1b6 "1710.06378" . "The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas." . . . . . . . . "3"^^ . _:Sig_decf9526a695505641538d80eb60e957_1 . _:Sig_decf9526a695505641538d80eb60e957_1 . _:Sig_decf9526a695505641538d80eb60e957_1 . _:Sig_decf9526a695505641538d80eb60e957_1 "Jeffrey M. Dudek" . _:Sig_decf9526a695505641538d80eb60e957_1 . _:Sig_decf9526a695505641538d80eb60e957_1 . _:Sig_decf9526a695505641538d80eb60e957_1 "1"^^ . _:Sig_decf9526a695505641538d80eb60e957_1 . _:Sig_decf9526a695505641538d80eb60e957_2 . _:Sig_decf9526a695505641538d80eb60e957_2 . _:Sig_decf9526a695505641538d80eb60e957_2 . _:Sig_decf9526a695505641538d80eb60e957_2 "Kuldeep S. Meel" . _:Sig_decf9526a695505641538d80eb60e957_2 . _:Sig_decf9526a695505641538d80eb60e957_2 "2"^^ . _:Sig_decf9526a695505641538d80eb60e957_2 . _:Sig_decf9526a695505641538d80eb60e957_3 . _:Sig_decf9526a695505641538d80eb60e957_3 . _:Sig_decf9526a695505641538d80eb60e957_3 . _:Sig_decf9526a695505641538d80eb60e957_3 "Moshe Y. Vardi" . _:Sig_decf9526a695505641538d80eb60e957_3 . _:Sig_decf9526a695505641538d80eb60e957_3 "3"^^ . _:Sig_decf9526a695505641538d80eb60e957_3 . . . . . "CoRR" . "CoRR" . "abs/1710.06378" . "2017"^^ . "provenance information for RDF data of dblp record 'journals/corr/abs-1710-06378'" . . . . "2021-01-23T01:20:04+0100" .