iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/cp/Silva00.nt
.
.
.
.
"Jo\u00E3o Marques-Silva: Algebraic Simplification Techniques for Propositional Satisfiability. (2000)" .
.
_:ID_9ee18e517e82e76918992b470c275b28 . _:ID_9ee18e517e82e76918992b470c275b28
. _:ID_9ee18e517e82e76918992b470c275b28
. _:ID_9ee18e517e82e76918992b470c275b28
. _:ID_9ee18e517e82e76918992b470c275b28
"conf/cp/Silva00" .
_:ID_31eb5bc7e1a2ddac19f7574183944a34 . _:ID_31eb5bc7e1a2ddac19f7574183944a34
. _:ID_31eb5bc7e1a2ddac19f7574183944a34
. _:ID_31eb5bc7e1a2ddac19f7574183944a34
. _:ID_31eb5bc7e1a2ddac19f7574183944a34
"10.1007/3-540-45349-0_45" .
"Algebraic Simplification Techniques for Propositional Satisfiability." .
.
.
.
"1"^^
.
_:Sig_cb8afd4e273fef2545429a43b4e462e4_1 . _:Sig_cb8afd4e273fef2545429a43b4e462e4_1
. _:Sig_cb8afd4e273fef2545429a43b4e462e4_1
. _:Sig_cb8afd4e273fef2545429a43b4e462e4_1
"Jo\u00E3o Marques-Silva 0001" . _:Sig_cb8afd4e273fef2545429a43b4e462e4_1
. _:Sig_cb8afd4e273fef2545429a43b4e462e4_1
"1"^^
. _:Sig_cb8afd4e273fef2545429a43b4e462e4_1
.
.
.
.
.
"537-542" .
"CP" .
"CP" .
"2000"^^
.
"2000"^^
.
.
"provenance information for RDF data of dblp record 'conf/cp/Silva00'" .
.
.
.
"2023-04-03T14:43:50+0200" .
