Joao Marques-Silva
发表
Joao Marques-Silva,
Joao Marques-Silva,
1999,
EPIA.
Joao Marques-Silva,
L. Baptista,
I. Lynce,
2001
.
Bernd Fischer,
Joao Marques-Silva,
Lucas C. Cordeiro,
2012,
IEEE Transactions on Software Engineering.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1997,
Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1994,
31st Design Automation Conference.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1994,
Proceedings of IEEE International Symposium on Circuits and Systems - ISCAS '94.
Joao Marques-Silva,
2008,
2008 9th International Workshop on Discrete Event Systems.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2018
.
S. Malik,
Joao Marques-Silva,
W. Kunz,
2001
.
Joao Marques-Silva,
1999
.
Joao Marques-Silva,
Karem A. Sakallah,
2011
.
Joao Marques-Silva,
I. Lynce,
A. Bhalla,
2005
.
Joao Marques-Silva,
I. Lynce,
2002
.
Joao Marques-Silva,
I. Lynce,
L. Baptista,
2001
.
Joao Marques-Silva,
I. Lynce,
2002
.
Joao Marques-Silva,
Alexey Ignatiev,
António Morgado,
2015
.
Vasco M. Manquinho,
Joao Marques-Silva,
2008
.
Joao Marques-Silva,
Joao Marques-Silva,
2012
.
Joao Marques-Silva,
I. Lynce,
2007
.
Joao Marques-Silva,
Alexey Ignatiev,
Yacine Izza,
2022,
2205.09971.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2022,
ArXiv.
Vasco M. Manquinho,
Joao Marques-Silva,
2000,
Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537).
Kuldeep S. Meel,
Aditya A. Shrotri,
Moshe Y. Vardi,
2022,
AAAI.
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2001
.
Joao Marques-Silva,
Joao Marques-Silva,
2002,
DAC '02.
Bruno Bouchard,
Parisa Kordjamshidi,
Toby Walsh,
2016,
AI Mag..
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2022,
ArXiv.
Joao Marques-Silva,
Alexey Ignatiev,
2022,
AAAI.
Joao Marques-Silva,
Pierre Marquis,
Adnan Darwiche,
2016,
AAAI Workshop: Beyond NP.
Sharad Malik,
Joao Marques-Silva,
S. Malik,
2018,
Handbook of Model Checking.
Joao Marques-Silva,
Alexey Ignatiev,
Yacine Izza,
2022,
J. Artif. Intell. Res..
Martin C. Cooper,
Nicholas M. Asher,
Joao Marques-Silva,
2022,
AAAI.
Joao Marques-Silva,
Mikoláš Janota,
2015
.
Martin C. Cooper,
Joao Marques-Silva,
Jordi Planes,
2022,
ArXiv.
Joao Marques-Silva,
2022,
2211.00541.
Joao Marques-Silva,
Yacine Izza,
2022,
ENIGMA@KR.
Martin C. Cooper,
Joao Marques-Silva,
Nina Narodytska,
2022,
ArXiv.
Joao Marques-Silva,
Alexey Ignatiev,
P. J. Stuckey,
2022,
AAAI.
Mario Alviano,
Joao Marques-Silva,
Francesco Ricca,
2020,
J. Log. Comput..
L. Cruz-Filipe,
Joao Marques-Silva,
Peter Schneider-Kamp,
2018,
Journal of Automated Reasoning.
Martin C. Cooper,
Joao Marques-Silva,
Nina Narodytska,
2022,
Int. J. Approx. Reason..
Martin C. Cooper,
Joao Marques-Silva,
2022,
Artif. Intell..
Mark H. Liffiton,
Joao Marques-Silva,
Alessandro Previti,
2016,
Constraints.
Joao Marques-Silva,
Alexey Ignatiev,
Mikoláš Janota,
2016,
Constraints.
Joao Marques-Silva,
2022,
Reasoning Web.
Joao Marques-Silva,
Joao Marques-Silva,
2018,
CiE.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2021,
IJCAI.
Radu Grigore,
Joao Marques-Silva,
Mikoláš Janota,
2010,
JELIA.
Joao Marques-Silva,
Xuanxiang Huang,
2023,
ArXiv.
Joao Marques-Silva,
Arlindo L. Oliveira,
Joao Marques-Silva,
2001,
Machine Learning.
Joao Marques-Silva,
Arlindo L. Oliveira,
Joao Marques-Silva,
1998,
Proceedings. String Processing and Information Retrieval: A South American Symposium (Cat. No.98EX207).
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2002,
ECAI.
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)
pdf
Thierry Denoeux,
Steven Schockaert,
Mathieu Serrurier,
2019,
ArXiv.
Peter J. Stuckey,
Joao Marques-Silva,
Alexey Ignatiev,
2021,
AAAI.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1999,
IEEE Trans. Computers.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1996,
Proceedings of International Conference on Computer Aided Design.
Nicholas Asher,
Joao Marques-Silva,
Nina Narodytska,
2020,
AI*IA.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2018,
IJCAI.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2019,
NeurIPS.
Mikolás Janota,
Joao Marques-Silva,
Carlos Mencía,
2017,
Artif. Intell..
Joao Marques-Silva,
Alexey Ignatiev,
Alessandro Previti,
2015,
SAT.
Mikolás Janota,
Inês Lynce,
Joao Marques-Silva,
2014,
Artif. Intell..
Mikolás Janota,
Joao Marques-Silva,
Joao Marques-Silva,
2014,
ArXiv.
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2014,
Tractability.
Joao Marques-Silva,
Joao Marques-Silva,
1995
.
Joao Marques-Silva,
Vladimir Ulyantsev,
Alexey Ignatiev,
2019,
LATA.
Alexey Ignatiev,
António Morgado,
Joao Marques-Silva,
2014,
SAT.
Alexey Ignatiev,
Oleg Zaikin,
João Marques-Silva,
2020,
ECAI.
Martin C. Cooper,
Emmanuel Hebrard,
Alexey Ignatiev,
2020,
CP.
Joao Marques-Silva,
Federico Heras,
Mark H. Liffiton,
2013,
Constraints.
Sharad Malik,
Joao Marques-Silva,
Ines Lynce,
2021,
Handbook of Satisfiability.
Vasco M. Manquinho,
Joao Marques-Silva,
Joao Marques-Silva,
2005,
Design, Automation and Test in Europe.
Bernd Fischer,
Joao Marques-Silva,
Ashish Darbari,
2010,
ICTAC.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2021,
ICML.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2018,
AAAI.
Josep Argelich,
Inês Lynce,
Joao Marques-Silva,
2009,
IJCAI.
Joao Marques-Silva,
Joao Marques-Silva,
2010,
2010 40th IEEE International Symposium on Multiple-Valued Logic.
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2007,
SAT.
Joao Marques-Silva,
Joao Marques-Silva,
2008,
J. Algorithms.
Joao Marques-Silva,
Sean Safarpour,
Andreas G. Veneris,
2010,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Joao Marques-Silva,
Sean Safarpour,
Andreas G. Veneris,
2009,
GLSVLSI '09.
Joao Marques-Silva,
Alexey Ignatiev,
António Morgado,
2018,
SAT.
Joao Marques-Silva,
Alexey Ignatiev,
Alessandro Previti,
2015,
IJCAI.
Vasco M. Manquinho,
Joao Marques-Silva,
Joao Marques-Silva,
2006,
J. Satisf. Boolean Model. Comput..
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,
Joao Marques-Silva,
2005,
SAT.
Mikolás Janota,
Joao Marques-Silva,
Edmund M. Clarke,
2013,
CP.
Inês Lynce,
Joao Marques-Silva,
José T. de Sousa,
2005,
Journal of Automated Reasoning.
Inês Lynce,
Joao Marques-Silva,
José T. de Sousa,
2003,
EPIA.
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2003,
Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence.
Inês Lynce,
Joao Marques-Silva,
José T. de Sousa,
2003,
Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions.
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2003,
Annals of Mathematics and Artificial Intelligence.
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2002,
International Workshop on Constraint Solving and Constraint Logic Programming.
Joao Marques-Silva,
2002
.
Martin C. Cooper,
Joao Marques-Silva,
Nina Narodytska,
2021,
ArXiv.
Martin C. Cooper,
Joao Marques-Silva,
Nina Narodytska,
2020,
NeurIPS.
Joao Marques-Silva,
Karem A. Sakallah,
Joonyoung Kim,
1999,
VLSI.
Joao Marques-Silva,
Franco Fummi,
Graziano Pravadelli,
2007,
2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).
Joao Marques-Silva,
Anthony Ventresque,
Takfarinas Saber,
2017,
Int. J. Artif. Intell. Tools.
Joao Marques-Silva,
Anthony Ventresque,
Takfarinas Saber,
2015,
2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).
Mikolás Janota,
Joao Marques-Silva,
Edmund M. Clarke,
2012,
SAT.
Mikolás Janota,
Joao Marques-Silva,
Joao Marques-Silva,
2011,
SAT.
Joao Marques-Silva,
Luís Guerra e Silva,
Joao Marques-Silva,
2003,
IEEE Design & Test of Computers.
Joao Marques-Silva,
Luís Miguel Silveira,
Luís Guerra e Silva,
1999,
Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2006,
SAT.
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2006,
AAAI.
Joao Marques-Silva,
Alessandro Previti,
Joao Marques-Silva,
2014,
SAT.
Mikolás Janota,
Joao Marques-Silva,
Federico Heras,
2022
.
Alexey Ignatiev,
Yacine Izza,
Joao Marques-Silva,
2020,
ArXiv.
Joao Marques-Silva,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2016,
TACAS.
Josep Argelich,
Inês Lynce,
Joao Marques-Silva,
2011,
Annals of Mathematics and Artificial Intelligence.
Rafael Peñaloza,
Joao Marques-Silva,
Alexey Ignatiev,
2016,
JELIA.
Rafael Peñaloza,
Joao Marques-Silva,
Alexey Ignatiev,
2016,
SAT.
Rafael Peñaloza,
Joao Marques-Silva,
Alexey Ignatiev,
2017,
Description Logics.
Josep Argelich,
Inês Lynce,
Joao Marques-Silva,
2010,
LoCoCo.
Joao Marques-Silva,
Carlos Mencía,
Joao Marques-Silva,
2020,
SAT.
Josep Argelich,
Inês Lynce,
Joao Marques-Silva,
2009,
IJCAI 2009.
Joao Marques-Silva,
Xuanxiang Huang,
2023,
ArXiv.
Joao Marques-Silva,
Yacine Izza,
Joao Marques-Silva,
2021,
IJCAI.
Joao Marques-Silva,
Nina Narodytska,
Kuldeep S. Meel,
2019,
SAT.
Nina Narodytska,
Alexey Ignatiev,
Joao Marques-Silva,
2019,
ArXiv.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2022,
AAAI.
Joao Marques-Silva,
Carlos Mencía,
2020,
IJCAI.
Joao Marques-Silva,
Alexey Ignatiev,
2023,
Frontiers in Artificial Intelligence.
Joao Marques-Silva,
Joao Marques-Silva,
2021,
CCIA.
Joao Marques-Silva,
Oliver Kullmann,
Alexey Ignatiev,
2019,
SAT.
Joao Marques-Silva,
Alexey Ignatiev,
Alessandro Previti,
2016,
SAT.
Mikolás Janota,
Joao Marques-Silva,
Alexey Ignatiev,
2015,
IJCAI.
Joao Marques-Silva,
Alessandro Previti,
Carlos Mencía,
2015,
IJCAI.
Inês Lynce,
Joao Marques-Silva,
Anton Belov,
2012,
AI Commun..
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2004,
SAT.
Martin C. Cooper,
Joao Marques-Silva,
Jordi Planes,
2022,
TACAS.
Martin C. Cooper,
Joao Marques-Silva,
Clément Carbonnel,
2023,
Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning.
Joao Marques-Silva,
Alexey Ignatiev,
Yacine Izza,
2023,
ArXiv.
Joao Marques-Silva,
2023,
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS).
Joao Marques-Silva,
Alexey Ignatiev,
Yacine Izza,
2021,
KR.
Joao Marques-Silva,
Alexey Ignatiev,
Joao Marques-Silva,
2021,
SAT.
Joao Marques-Silva,
Alexey Ignatiev,
Alessandro Previti,
2016,
CP.
Joao Marques-Silva,
Alessandro Previti,
Joao Marques-Silva,
2013,
AAAI.
Joao Marques-Silva,
Matti Järvisalo,
Alessandro Previti,
2018,
AAAI.
Alexey Ignatiev,
António Morgado,
Joao Marques-Silva,
2017,
ArXiv.
Joao Marques-Silva,
Peter Schneider-Kamp,
Luís Cruz-Filipe,
2018,
Journal of Automated Reasoning.
Inês Lynce,
Joao Marques-Silva,
Arlindo L. Oliveira,
2011,
Ann. Oper. Res..
Inês Lynce,
Joao Marques-Silva,
Arlindo L. Oliveira,
2010,
J. Comput. Biol..
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2008,
Int. J. Artif. Intell. Tools.
Inês Lynce,
Joao Marques-Silva,
Arlindo L. Oliveira,
2007,
EPIA Workshops.
Inês Lynce,
Joao Marques-Silva,
Arlindo L. Oliveira,
2007,
AB.
Inês Lynce,
Joao Marques-Silva,
Ana Graça,
2011,
Mathematical Approaches to Polymer Sequence Analysis and Related Problems.
Bernd Fischer,
Joao Marques-Silva,
Paulo J. Matos,
2009,
ICFEM.
Joao Marques-Silva,
Federico Heras,
António Morgado,
2015,
AI Commun..
Mikolás Janota,
Joao Marques-Silva,
Alexey Ignatiev,
2013,
SAT.
Inês Lynce,
Joao Marques-Silva,
Luís Baptista,
2001,
Electron. Notes Discret. Math..
Joao Marques-Silva,
Jordi Planes,
António Morgado,
2023,
ArXiv.
Mikolás Janota,
Inês Lynce,
Joao Marques-Silva,
2015,
AI Commun..
Joao Marques-Silva,
Yacine Izza,
Xuanxiang Huang,
2023,
AAAI.
Joao Marques-Silva,
Xuanxiang Huang,
2023,
2309.03041.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2018,
IJCAR.
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2007,
Discret. Appl. Math..
Inês Lynce,
Joao Marques-Silva,
Arlindo L. Oliveira,
2010,
ANB.
Joao Marques-Silva,
Federico Heras,
F. Heras,
2011,
IJCAI.
Joao Marques-Silva,
Richard B. Brown,
Karem A. Sakallah,
1993,
Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Joao Marques-Silva,
Alexey Ignatiev,
Antonio Morgado,
2017,
EPIA.
Vasco M. Manquinho,
Inês Lynce,
João Marques-Silva,
2018,
Israeli Foreign Policy since the End of the Cold War.
Daniel Gibert,
Carles Mateu,
Jordi Planes,
2021,
Comput. Secur..
Joao Marques-Silva,
Carmine Dodaro,
António Morgado,
2014,
International Conference on Principles and Practice of Constraint Programming.
Joao Marques-Silva,
Maria Luisa Bonet,
Alexey Ignatiev,
2021,
Artif. Intell..
Joao Marques-Silva,
Georg Weissenbacher,
Alexey Ignatiev,
2019,
IJCAI.
Joao Marques-Silva,
Samuel R. Buss,
Maria Luisa Bonet,
2019,
SAT.
Joao Marques-Silva,
Alexey Ignatiev,
António Morgado,
2017,
SAT.
Alexey Ignatiev,
António Morgado,
Joao Marques-Silva,
2015,
J. Satisf. Boolean Model. Comput..
Alexey Ignatiev,
Stepan Kochemazov,
João Marques-Silva,
2021,
SAT.
Joao Marques-Silva,
Federico Heras,
António Morgado,
2012,
SAT.
Vasco M. Manquinho,
Joao Marques-Silva,
Jordi Planes,
2009,
SAT.
Joao Marques-Silva,
Jordi Planes,
Joao Marques-Silva,
2008,
2008 Design, Automation and Test in Europe.
Joao Marques-Silva,
Jordi Planes,
Joao Marques-Silva,
2007,
ArXiv.
Joao Marques-Silva,
Carlos Mencía,
Joao Marques-Silva,
2019,
EPIA.
Mikolás Janota,
Joao Marques-Silva,
Anton Belov,
2013,
CAV.
Joao Marques-Silva,
Alan Mishchenko,
Huan Chen,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Mikolás Janota,
Inês Lynce,
Joao Marques-Silva,
2010,
ECAI.
Vasco M. Manquinho,
Joao Marques-Silva,
Joao Marques-Silva,
2004,
Annals of Mathematics and Artificial Intelligence.
Inês Lynce,
Joao Marques-Silva,
Luís Baptista,
2001,
EPIA.
Joao Marques-Silva,
Luís Baptista,
Joao Marques-Silva,
2000,
CP.
Inês Lynce,
Joao Marques-Silva,
Joao Marques-Silva,
2005,
Annals of Mathematics and Artificial Intelligence.
Joao Marques-Silva,
Huan Chen,
Joao Marques-Silva,
2013,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Joao Marques-Silva,
António Morgado,
Joao Marques-Silva,
2010,
RCRA.
Joao Marques-Silva,
Huan Chen,
Joao Marques-Silva,
2009,
2009 IEEE International High Level Design Validation and Test Workshop.
Vasco M. Manquinho,
Joao Marques-Silva,
Joao Marques-Silva,
2000,
ECAI.
Joao Marques-Silva,
Thomas Glass,
Joao Marques-Silva,
1999,
Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
Joao Marques-Silva,
Karem A. Sakallah,
Hadi Katebi,
2011,
SAT.
Joao Marques-Silva,
José T. de Sousa,
Miron Abramovici,
2001,
The 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'01).
Paulo F. Flores,
José C. Monteiro,
Joao Marques-Silva,
1999,
Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
Joao Marques-Silva,
Samuel R. Buss,
Maria Luisa Bonet,
2018,
AAAI.
Radu Grigore,
Joao Marques-Silva,
Mikoláš Janota,
2010,
JELIA.
Radu Grigore,
Joao Marques-Silva,
2010
.
Joao Marques-Silva,
Alexey Ignatiev,
António Morgado,
2016,
ECAI.
Joao Marques-Silva,
Oliver Kullmann,
Joao Marques-Silva,
2015,
SAT.
Vasco M. Manquinho,
Inês Lynce,
Joao Marques-Silva,
2014,
ECAI.
Joao Marques-Silva,
Arie Matsliah,
Alexander Ivrii,
2012,
SAT.
Inês Lynce,
Joao Marques-Silva,
Oliver Kullmann,
2006,
SAT.
Joao Marques-Silva,
Joao Marques-Silva,
2012,
J. Multiple Valued Log. Soft Comput..
Luis Miguel Silveira,
L. M. Silveira,
L. G. Silva,
1998,
1998 IEEE International Conference on Electronics, Circuits and Systems. Surfing the Waves of Science and Technology (Cat. No.98EX196).
Mikolás Janota,
Joao Marques-Silva,
Joao Marques-Silva,
2015,
IJCAI.
Mikolás Janota,
Radu Grigore,
Joao Marques-Silva,
2013,
LPAR.
Joao Marques-Silva,
Mark H. Liffiton,
António Morgado,
2012,
Haifa Verification Conference.
Joao Marques-Silva,
Anton Belov,
Joao Marques-Silva,
2012,
J. Satisf. Boolean Model. Comput..
Joao Marques-Silva,
I. Lynce,
2007
.
Jussi Rintanen,
J. Rintanen,
Joao Marques-Silva,
2007
.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1996,
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence.
Joao Marques-Silva,
Xuanxiang Huang,
2023,
ArXiv.
Joao Marques-Silva,
Florian Letombe,
Joao Marques-Silva,
2012,
Int. J. Artif. Intell. Tools.
Joao Marques-Silva,
M. Fareed Arif,
Carlos Mencía,
2015,
KI.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1993,
Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1993,
Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.