Searching for authors named "Mnacho Echenim" – sorted by Relevance.
-
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

