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.dagstuhl.de/rec/journals/afp/Thiemann22a.nt
. . . "Ren\u00E9 Thiemann: Clique is not solvable by monotone circuits of polynomial size. (2022)" . _:ID_2b414835915ac4477c7e5cd5fdb3fe48 . _:ID_2b414835915ac4477c7e5cd5fdb3fe48 . _:ID_2b414835915ac4477c7e5cd5fdb3fe48 . _:ID_2b414835915ac4477c7e5cd5fdb3fe48 . _:ID_2b414835915ac4477c7e5cd5fdb3fe48 "journals/afp/Thiemann22a" . "Clique is not solvable by monotone circuits of polynomial size." . . . . "1"^^ . _:Sig_ee99e7f3ece4238b3fd6fc94593d5d8c_1 . _:Sig_ee99e7f3ece4238b3fd6fc94593d5d8c_1 . _:Sig_ee99e7f3ece4238b3fd6fc94593d5d8c_1 . _:Sig_ee99e7f3ece4238b3fd6fc94593d5d8c_1 "Ren\u00E9 Thiemann" . _:Sig_ee99e7f3ece4238b3fd6fc94593d5d8c_1 . _:Sig_ee99e7f3ece4238b3fd6fc94593d5d8c_1 "1"^^ . _:Sig_ee99e7f3ece4238b3fd6fc94593d5d8c_1 . . . . . "Arch. Formal Proofs" . "Arch. Formal Proofs" . "2022" . "2022"^^ . "provenance information for RDF data of dblp record 'journals/afp/Thiemann22a'" . . . . "2022-06-22T11:18:14+0200" .