iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/tocl/KirchwegerS24.nt
.
.
.
.
"Markus Kirchweger and Stefan Szeider: SAT Modulo Symmetries for Graph Generation and Enumeration. (2024)" .
.
_:ID_2597180f0c970e0f3a3d65a5ecd024ce . _:ID_2597180f0c970e0f3a3d65a5ecd024ce
. _:ID_2597180f0c970e0f3a3d65a5ecd024ce
. _:ID_2597180f0c970e0f3a3d65a5ecd024ce
. _:ID_2597180f0c970e0f3a3d65a5ecd024ce
"journals/tocl/KirchwegerS24" .
_:ID_13a97a0446349b52b3ba31dc42532732 . _:ID_13a97a0446349b52b3ba31dc42532732
. _:ID_13a97a0446349b52b3ba31dc42532732
. _:ID_13a97a0446349b52b3ba31dc42532732
. _:ID_13a97a0446349b52b3ba31dc42532732
"10.1145/3670405" .
"SAT Modulo Symmetries for Graph Generation and Enumeration." .
.
.
.
.
.
"2"^^
.
_:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_1 . _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_1
. _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_1
. _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_1
"Markus Kirchweger" . _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_1
. _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_1
"1"^^
. _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_1
.
_:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_2 . _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_2
. _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_2
. _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_2
"Stefan Szeider" . _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_2
. _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_2
"2"^^
. _:Sig_ac46dfaf0b1461cbc0ed2d45eb4d788a_2
.
.
.
.
.
"1-30" .
"ACM Trans. Comput. Log." .
"ACM Trans. Comput. Log." .
"25" .
"3" .
"2024"^^
.
"provenance information for RDF data of dblp record 'journals/tocl/KirchwegerS24'" .
.
.
.
"2024-11-30T00:04:59+0100" .
