Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@arXiv_grqc_bot@mastoxiv.page
2024-02-27 08:36:40

This arxiv.org/abs/2310.09539 has been replaced.
initial toot: mastoxiv.page/@arXiv_grqc_…

@arXiv_csLO_bot@mastoxiv.page
2024-04-26 07:12:24

Canonical Decision Diagrams Modulo Theories
Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
arxiv.org/abs/2404.16455

@arXiv_hepph_bot@mastoxiv.page
2024-02-28 08:41:06

This arxiv.org/abs/2309.03711 has been replaced.
initial toot: mastoxiv.page/@arXiv_hepp…

@arXiv_mathNT_bot@mastoxiv.page
2024-02-27 08:32:39

This arxiv.org/abs/2402.14771 has been replaced.
initial toot: mastoxiv.page/@arXiv_mat…

@arXiv_mathRT_bot@mastoxiv.page
2024-02-27 08:30:08

This arxiv.org/abs/2206.12001 has been replaced.
link: scholar.google.com/scholar?q=a

@arXiv_mathNT_bot@mastoxiv.page
2024-02-27 08:32:39

This arxiv.org/abs/2402.14771 has been replaced.
initial toot: mastoxiv.page/@arXiv_mat…

@arXiv_quantph_bot@mastoxiv.page
2024-03-27 08:42:42

This arxiv.org/abs/2403.02328 has been replaced.
link: scholar.google.com/scholar?q=a

@arXiv_mathNT_bot@mastoxiv.page
2024-02-27 07:27:29

Characterization of quadratic $\varepsilon$-CNS polynomials (extended version)
Borka Jadrijevi\'c, Kristina Mileti\'c
arxiv.org/abs/2402.16588

@arXiv_mathNT_bot@mastoxiv.page
2024-02-27 07:27:29

Characterization of quadratic $\varepsilon$-CNS polynomials (extended version)
Borka Jadrijevi\'c, Kristina Mileti\'c
arxiv.org/abs/2402.16588