List of works - Anna M. Bigatti - Paulina

List of works by Anna M. Bigatti

$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation ⬇️

scientific article published in 2016

A C++ class for multi-state algebraic reliability computations

scientific article published in September 2021

Paulina is supported by:

About Paulina

Help