This https://arxiv.org/abs/2310.09539 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…
Canonical Decision Diagrams Modulo Theories
Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
https://arxiv.org/abs/2404.16455 ht…
This https://arxiv.org/abs/2309.03711 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hepp…
This https://arxiv.org/abs/2402.14771 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…
This https://arxiv.org/abs/2206.12001 has been replaced.
link: https://scholar.google.com/scholar?q=a
This https://arxiv.org/abs/2402.14771 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…
This https://arxiv.org/abs/2403.02328 has been replaced.
link: https://scholar.google.com/scholar?q=a
Characterization of quadratic $\varepsilon$-CNS polynomials (extended version)
Borka Jadrijevi\'c, Kristina Mileti\'c
https://arxiv.org/abs/2402.16588
Characterization of quadratic $\varepsilon$-CNS polynomials (extended version)
Borka Jadrijevi\'c, Kristina Mileti\'c
https://arxiv.org/abs/2402.16588