João Paulo Marques da Silva
AuthID: R-000-J0P
71
TITLE: Restoring CSP Satisfiability with MaxSAT Full Text
AUTHORS: Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: Fundamenta Informaticae, VOLUME: 107, ISSUE: 2-3
AUTHORS: Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: Fundamenta Informaticae, VOLUME: 107, ISSUE: 2-3
72
TITLE: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription PDF
AUTHORS: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1006.5896
AUTHORS: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1006.5896
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP73
TITLE: Boolean satisfiability and EDA applications
AUTHORS: Joao Marques Silva;
PUBLISHED: 2009, SOURCE: Practical Design Verification, VOLUME: 9780521859721
AUTHORS: Joao Marques Silva;
PUBLISHED: 2009, SOURCE: Practical Design Verification, VOLUME: 9780521859721
INDEXED IN: 
Scopus
Scopus74
TITLE: Boolean satisfiability and EDA applications
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2009, SOURCE: Practical Design Verification
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2009, SOURCE: Practical Design Verification
INDEXED IN: 
CrossRef
CrossRef75
TITLE: Algorithms for Weighted Boolean Optimization PDF
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP76
TITLE: How to Complete an Interactive Configuration Process? PDF
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3913
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3913
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP77
TITLE: Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking PDF
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0911.3784
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0911.3784
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP78
TITLE: SMT-Based Bounded Model Checking for Embedded ANSI-C Software PDF
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0907.2072
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0907.2072
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP79
TITLE: An experimental study of satisfiability search heuristics
AUTHORS: Fadi A Aloul; João P Marques Silva; Karem A Sakallah;
PUBLISHED: 2000, SOURCE: Proceedings -Design, Automation and Test in Europe, DATE
AUTHORS: Fadi A Aloul; João P Marques Silva; Karem A Sakallah;
PUBLISHED: 2000, SOURCE: Proceedings -Design, Automation and Test in Europe, DATE
80
TITLE: Boolean satisfiability algorithms and applications in electronic design automation
AUTHORS: João Marques Silva; Karem Sakallah;
PUBLISHED: 2000, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1855
AUTHORS: João Marques Silva; Karem Sakallah;
PUBLISHED: 2000, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1855
INDEXED IN: Scopus
Scopus