iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.dagstuhl.de/rec/conf/tap/CreignouES12.nt
.
.
.
.
.
"Nadia Creignou et al.: A Framework for the Specification of Random SAT and QSAT Formulas. (2012)" .
.
_:ID_c03b8da7b6589f05d1f6c286a1288444 . _:ID_c03b8da7b6589f05d1f6c286a1288444
. _:ID_c03b8da7b6589f05d1f6c286a1288444
. _:ID_c03b8da7b6589f05d1f6c286a1288444
. _:ID_c03b8da7b6589f05d1f6c286a1288444
"conf/tap/CreignouES12" .
_:ID_d7d6a5ecc96400c8c3503b4ef35b1c20 . _:ID_d7d6a5ecc96400c8c3503b4ef35b1c20
. _:ID_d7d6a5ecc96400c8c3503b4ef35b1c20
. _:ID_d7d6a5ecc96400c8c3503b4ef35b1c20
. _:ID_d7d6a5ecc96400c8c3503b4ef35b1c20
"10.1007/978-3-642-30473-6_14" .
"A Framework for the Specification of Random SAT and QSAT Formulas." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_a6c988eee7a24cc1b884bdcdd2723200_1 . _:Sig_a6c988eee7a24cc1b884bdcdd2723200_1
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_1
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_1
"Nadia Creignou" . _:Sig_a6c988eee7a24cc1b884bdcdd2723200_1
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_1
"1"^^
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_1
.
_:Sig_a6c988eee7a24cc1b884bdcdd2723200_2 . _:Sig_a6c988eee7a24cc1b884bdcdd2723200_2
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_2
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_2
"Uwe Egly" . _:Sig_a6c988eee7a24cc1b884bdcdd2723200_2
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_2
"2"^^
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_2
.
_:Sig_a6c988eee7a24cc1b884bdcdd2723200_3 . _:Sig_a6c988eee7a24cc1b884bdcdd2723200_3
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_3
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_3
"Martina Seidl" . _:Sig_a6c988eee7a24cc1b884bdcdd2723200_3
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_3
"3"^^
. _:Sig_a6c988eee7a24cc1b884bdcdd2723200_3
.
.
.
.
.
.
"163-168" .
"TAP@TOOLS" .
"TAP@TOOLS" .
"2012"^^
.
"2012"^^
.
.
"provenance information for RDF data of dblp record 'conf/tap/CreignouES12'" .
.
.
.
"2020-06-23T17:37:40+0200" .
