VMVasco ManquinhoCurrent MSc StudentsLinkedInPublications2008Models and Algorithms for Computing Minimum-Size Prime ImplicantsVasco Manquinho, Arlindo L. Oliveira, João Marques‐Silva conference 2002Prime implicant computation using satisfiability algorithmsVasco Manquinho, Paulo Flores, J.P.M. Silva, Arlindo L. Oliveira conference ← All people
Models and Algorithms for Computing Minimum-Size Prime ImplicantsVasco Manquinho, Arlindo L. Oliveira, João Marques‐Silva conference
Prime implicant computation using satisfiability algorithmsVasco Manquinho, Paulo Flores, J.P.M. Silva, Arlindo L. Oliveira conference