iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/corr/Meel14.nt
.
.
"Kuldeep S. Meel: Sampling Techniques for Boolean Satisfiability. (2014)" .
_:ID_969abf462aeff0b3f00ace6da517cbb4 . _:ID_969abf462aeff0b3f00ace6da517cbb4
. _:ID_969abf462aeff0b3f00ace6da517cbb4
. _:ID_969abf462aeff0b3f00ace6da517cbb4
. _:ID_969abf462aeff0b3f00ace6da517cbb4
"journals/corr/Meel14" .
_:ID_2d824d08858ce946cf53824d5dfe34b3 . _:ID_2d824d08858ce946cf53824d5dfe34b3
. _:ID_2d824d08858ce946cf53824d5dfe34b3
. _:ID_2d824d08858ce946cf53824d5dfe34b3
. _:ID_2d824d08858ce946cf53824d5dfe34b3
"1404.6682" .
"Sampling Techniques for Boolean Satisfiability." .
.
.
.
"1"^^
.
_:Sig_b3658feacdb313f70cd59f1247daeef8_1 . _:Sig_b3658feacdb313f70cd59f1247daeef8_1
. _:Sig_b3658feacdb313f70cd59f1247daeef8_1
. _:Sig_b3658feacdb313f70cd59f1247daeef8_1
"Kuldeep S. Meel" . _:Sig_b3658feacdb313f70cd59f1247daeef8_1
. _:Sig_b3658feacdb313f70cd59f1247daeef8_1
"1"^^
. _:Sig_b3658feacdb313f70cd59f1247daeef8_1
.
.
.
.
.
"CoRR" .
"CoRR" .
"abs/1404.6682" .
"2014"^^
.
"provenance information for RDF data of dblp record 'journals/corr/Meel14'" .
.
.
.
"2018-08-13T16:49:04+0200" .
