João Paulo Marques da Silva
AuthID: R-000-J0P
71
TITLE: Towards Robust CNF Encodings of Cardinality Constraints
AUTHORS: Joao Marques-Silva; Inês Lynce;
PUBLISHED: 2007, SOURCE: Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science
AUTHORS: Joao Marques-Silva; Inês Lynce;
PUBLISHED: 2007, SOURCE: Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science
72
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
73
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
Scopus74
TITLE: Algebraic simplification techniques for propositional satisfiability
AUTHORS: João Marques Silva;
PUBLISHED: 2000, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1894
AUTHORS: João Marques Silva;
PUBLISHED: 2000, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1894
INDEXED IN: Scopus 
Unpaywall
Scopus Unpaywall75
TITLE: Algebraic Simplification Techniques for Propositional Satisfiability
AUTHORS: João Marques-Silva;
PUBLISHED: 2000, SOURCE: Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science
AUTHORS: João Marques-Silva;
PUBLISHED: 2000, SOURCE: Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science
76
TITLE: The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
AUTHORS: João Marques-Silva;
PUBLISHED: 1999, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science
AUTHORS: João Marques-Silva;
PUBLISHED: 1999, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef77
TITLE: Solving satisfiability in combinational circuits with backtrack search and recursive learning
AUTHORS: João P Marques Silva; Luís Guerra Guerra E Silva;
PUBLISHED: 1999, SOURCE: Proceedings - 12th Symposium on Integrated Circuits and Systems Design, SBCCI 1999
AUTHORS: João P Marques Silva; Luís Guerra Guerra E Silva;
PUBLISHED: 1999, SOURCE: Proceedings - 12th Symposium on Integrated Circuits and Systems Design, SBCCI 1999
INDEXED IN: Scopus
Scopus