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