João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



141
TITLE: On Validating Boolean Optimizers
AUTHORS: Morgado, António ; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
142
TITLE: Preface
AUTHORS: Hiroki Arimura; Raoul Medina; Jean Marc Petit; Franz Baader; Jean François Boulicaut; Bruno Crémilleux; Luc De Raedt; Khaled Elbassioni; Alain Gely; Bart Goethals; Sergei Kuznetsov; Dominique Laurent; Hong Cheu Liu; Joao Marques Silva ; Rokia Missaoui; Siegfried Nijssen; Lhouari Nourine; Marie Christine Rousset; Lakhdar Sais; Thomas Schiex; Takeaki Uno; Jef Wijsen; ...More
PUBLISHED: 2011, SOURCE: Proceedings - IEEE International Conference on Data Mining, ICDM
INDEXED IN: Scopus CrossRef
IN MY: ORCID
143
TITLE: Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms
AUTHORS: Federico Heras; João Marques Silva ;
PUBLISHED: 2011, SOURCE: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
144
TITLE: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 107, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
145
TITLE: SAT solvers
AUTHORS: Joao Marques Silva ; Ines Lynce;
PUBLISHED: 2011, SOURCE: Tractability, VOLUME: 9781107025196
INDEXED IN: Scopus CrossRef: 1
146
TITLE: Automated Design Debugging With Maximum Satisfiability  Full Text
AUTHORS: Chen, YB; Safarpour, S; Marques Silva, J ; Veneris, A;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 29, ISSUE: 11
INDEXED IN: Scopus WOS DBLP CrossRef: 62 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
147
TITLE: Boolean Lexicographic Optimization PDF
AUTHORS: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce;
PUBLISHED: 2010, SOURCE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010, VOLUME: 616
INDEXED IN: Scopus DBLP
IN MY: DBLP
148
TITLE: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem  Full Text
AUTHORS: Morgado, António ; Marques Silva, J ;
PUBLISHED: 2010, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 102, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
149
TITLE: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLISHED: 2010, SOURCE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010
INDEXED IN: Scopus DBLP CrossRef: 6 Unpaywall
IN MY: ORCID | DBLP
150
TITLE: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
AUTHORS: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | ResearcherID | DBLP
Page 15 of 28. Total results: 271.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service