Searching for authors named "Mnacho Echenim" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Rewrite-based satisfiability procedures for recursive data structures
- … and Mnacho Echenim Dipartimento di Informatica Università degli Studi di Verona, Italy Abstract…
- Cited by 8 (5 self) – Add To MetaCart
-
T-decision by decomposition
- …T -decision by decomposition Maria Paola Bonacina ⋆ and Mnacho Echenim ⋆⋆ Dipartimento di…
- Cited by 2 (1 self) – Add To MetaCart
-
Theory decision by decomposition
- …Theory decision by decomposition Maria Paola Bonacina a,∗ , Mnacho Echenim b a Dipartimento di…
- Cited by 3 (3 self) – Add To MetaCart
-
On variable-inactivity and polynomial T-satisfiability procedures
- …On variable-inactivity and polynomial T -satisfiability procedures Maria Paola Bonacina ∗ Mnacho…
- Add To MetaCart
-
Theory decision by decomposition
- …Theory decision by decomposition Maria Paola Bonacina a,∗ , Mnacho Echenim b a Dipartimento di…
- Add To MetaCart
Showing 1 through 5.
