Vasco M. Manquinho
发表
Mikolás Janota,
Radu Grigore,
Vasco M. Manquinho,
2017,
RCRA@AI*IA.
Vasco M. Manquinho,
Inês Lynce,
Nuno Machado,
2019,
AAAI.
Vasco M. Manquinho,
Joao Marques-Silva,
2008,
SAT.
Vasco M. Manquinho,
Inês Lynce,
Miguel Terra-Neves,
2017,
SAT.
Vasco M. Manquinho,
Joao Marques-Silva,
António Morgado,
2006,
SAT.
Vasco M. Manquinho,
Ruben Martins,
Miguel Terra-Neves,
2019,
CP.
Vasco M. Manquinho,
Joao Marques-Silva,
2000,
DATE '00.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2015,
Int. J. Artif. Intell. Tools.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2012,
AI Commun..
Vasco M. Manquinho,
Joao Marques-Silva,
Joao Marques-Silva,
2000,
ECAI.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2014,
SAT.
Vasco M. Manquinho,
Claudine Chaouiya,
Inês Lynce,
2018,
SASB.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2018,
Handbook of Parallel Constraint Reasoning.
Vasco M. Manquinho,
Ruben Martins,
Saurabh Joshi,
2015,
CP.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2015,
J. Exp. Theor. Artif. Intell..
Vasco M. Manquinho,
Inês Lynce,
Miguel Terra-Neves,
2018,
IJCAI.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2013,
SAT.
Vasco M. Manquinho,
Inês Lynce,
Miguel Terra-Neves,
2018,
IJCAI.
Vasco M. Manquinho,
Joao Marques-Silva,
2001
.
Vasco M. Manquinho,
Inês Lynce,
Rui Henriques,
2012,
ArXiv.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2014,
CP.
Vasco M. Manquinho,
Inês Lynce,
João Delgado,
2010,
J. Comput. Biol..
Vasco M. Manquinho,
Armando Tacchella,
Ewald Speckenmeyer,
2008,
J. Satisf. Boolean Model. Comput..
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2012,
ECAI.
Vasco M. Manquinho,
Inês Lynce,
Joao Marques-Silva,
2014,
ECAI.
Vasco M. Manquinho,
Ruben Martins,
Miguel Terra-Neves,
2020,
Proc. VLDB Endow..
Vasco M. Manquinho,
Joao Marques-Silva,
2002,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Vasco M. Manquinho,
Olivier Roussel,
2006,
J. Satisf. Boolean Model. Comput..
Vasco M. Manquinho,
Olivier Roussel,
Olivier Roussel,
2021,
Handbook of Satisfiability.
Vasco M. Manquinho,
Joao Marques-Silva,
2004,
16th IEEE International Conference on Tools with Artificial Intelligence.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2010,
SAT.
Vasco M. Manquinho,
Joao Marques-Silva,
Joao Marques-Silva,
2005,
17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).
Vasco M. Manquinho,
Joao Marques-Silva,
2004,
SAT.
Mikolás Janota,
Vasco M. Manquinho,
Inês Lynce,
2015,
SAT.
Vasco M. Manquinho,
Levent Aksoy,
José C. Monteiro,
2010,
ArXiv.
Vasco M. Manquinho,
Inês Lynce,
Pedro T. Monteiro,
2017,
EPIA.
Vasco M. Manquinho,
Joao Marques-Silva,
Federico Heras,
2008,
FLAIRS Conference.
Mikolás Janota,
Vasco M. Manquinho,
Inês Lynce,
2012,
J. Satisf. Boolean Model. Comput..
Vasco M. Manquinho,
Joao Marques-Silva,
Joao Marques-Silva,
2005,
SAT.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2011,
2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.
Vasco M. Manquinho,
Joao Marques-Silva,
Joao Marques-Silva,
2005,
Design, Automation and Test in Europe.
Vasco M. Manquinho,
Joao Marques-Silva,
Joao Marques-Silva,
2006,
J. Satisf. Boolean Model. Comput..
Vasco M. Manquinho,
Inês Lynce,
Joao Marques-Silva,
2008,
LPAR.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2010,
2010 22nd IEEE International Conference on Tools with Artificial Intelligence.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2015,
J. Satisf. Boolean Model. Comput..
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2012,
LION.
Vasco M. Manquinho,
Inês Lynce,
João Marques-Silva,
2018,
Israeli Foreign Policy since the End of the Cold War.
Xin Zhang,
Mikolás Janota,
Vasco M. Manquinho,
2016,
CP.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2012,
Constraints.
Vasco M. Manquinho,
Joao Marques-Silva,
Jordi Planes,
2009,
SAT.
Vasco M. Manquinho,
Chien-Mo James Li,
Wei-Chung Kao,
2010,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Vasco M. Manquinho,
Inês Lynce,
João Delgado,
2009,
RECOMB-CG.
Vasco M. Manquinho,
Joao Marques-Silva,
Joao Marques-Silva,
2004,
Annals of Mathematics and Artificial Intelligence.
Vasco M. Manquinho,
Inês Lynce,
Miguel Terra-Neves,
2016,
2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI).
Vasco M. Manquinho,
Inês Lynce,
Miguel Terra-Neves,
2019,
IJCAI.
Vasco M. Manquinho,
Inês Lynce,
Joao Marques-Silva,
2014,
ECAI.
Vasco M. Manquinho,
José Faustino Fragoso Femenin dos Santos,
2008,
LPAR Workshops.
Vasco M. Manquinho,
Inês Lynce,
Miguel Neves,
2015,
ArXiv.
Vasco M. Manquinho,
Inês Lynce,
Miguel Terra-Neves,
2018,
AAAI.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2012
.
Vasco M. Manquinho,
Inês Lynce,
Miguel Terra-Neves,
2018,
J. Heuristics.
Vasco M. Manquinho,
Paulo F. Flores,
Joao Marques-Silva,
1997,
Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence.
Vasco M. Manquinho,
Joao Marques-Silva,
2000,
AMAI.
Vasco M. Manquinho,
Inês Lynce,
Miguel Corbalan,
2014,
AI Commun..
Vasco M. Manquinho,
Inês Lynce,
José Rui Figueira,
2019,
CP.
Mikolás Janota,
Vasco M. Manquinho,
António Morgado,
2021,
CP.
Vasco M. Manquinho,
Helena Galhardas,
Leonor Silva,
2021,
SDM.
Vasco M. Manquinho,
José Rui Figueira,
Andreia P. Guerreiro,
2021,
Comput. Oper. Res..
Vasco M. Manquinho,
Arlindo L. Oliveira,
K. Sakallah,
1997
.
Vasco M. Manquinho,
Arlindo L. Oliveira,
K. Sakallah,
2007
.
Vasco M. Manquinho,
Olivier Roussel,
Jordi Planes,
2009
.
Vasco M. Manquinho,
Arlindo L. Oliveira,
João Silva,
2008
.
Vasco M. Manquinho,
Ruben Martins,
2011
.
Vasco M. Manquinho,
Ruben Martins,
2013
.
Vasco M. Manquinho,
Joao Marques-Silva,
2008
.
Vasco M. Manquinho,
I. Lynce,
Ruben Martins,
2009
.
Vasco M. Manquinho,
Ruben Martins,
M. Ventura,
2020,
Proceedings of the VLDB Endowment.
Vasco M. Manquinho,
Pedro Orvalho,
Mikol'avs Janota,
2022,
2206.14175.
Vasco M. Manquinho,
Pedro Orvalho,
Mikol'avs Janota,
2022,
ArXiv.
Vasco M. Manquinho,
Joao Marques-Silva,
2000,
Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537).
Vasco M. Manquinho,
Tiago Almeida,
2022,
Comput. Oper. Res..
Vasco M. Manquinho,
Pedro Orvalho,
Mikoláš Janota,
2022
.
Vasco M. Manquinho,
I. Lynce,
Miguel Terra-Neves,
2018,
Journal of Heuristics.
Vasco M. Manquinho,
Thomas James Z. Tiam-Lee,
H. Galhardas,
2022,
EDBT/ICDT Workshops.
Vasco M. Manquinho,
Ruben Martins,
M. Ventura,
2020,
Proceedings of the VLDB Endowment.
Vasco M. Manquinho,
H. Galhardas,
I. Lynce,
2022,
Expert Syst. Appl..
Vasco M. Manquinho,
Pedro Orvalho,
Mikoláš Janota,
2022,
ESEC/SIGSOFT FSE.
Vasco M. Manquinho,
Pedro Orvalho,
Mikol'avs Janota,
2022,
ArXiv.
Vasco M. Manquinho,
I. Lynce,
Ruben Martins,
2012,
Constraints.
Vasco M. Manquinho,
Claire Le Goues,
Ruben Martins,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Vasco M. Manquinho,
Inês Lynce,
Vasco Manquinho,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Vasco M. Manquinho,
Thomas James Z. Tiam-Lee,
Rui Henriques,
2022,
ISPRS Int. J. Geo Inf..
Vasco M. Manquinho,
Claire Le Goues,
I. Lynce,
2023,
ArXiv.
Vasco M. Manquinho,
Pedro Orvalho,
R. Martins,
2023,
SAT.
Vasco M. Manquinho,
David Garlan,
Ruben Martins,
2021,
ESEC/SIGSOFT FSE.
Vasco M. Manquinho,
M. Ventura,
Pedro Orvalho,
2019
.