João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



131
TITLE: Improvements to Satisfiability-Based Boolean Function Bi-Decomposition
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2011, SOURCE: VLSI-SoC: Advanced Research for Systems on Chip - 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers, VOLUME: 379
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
132
TITLE: Improvements to satisfiability-based boolean function bi-decomposition
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2011, SOURCE: 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011 in IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, VLSI-SoC 2011, Kowloon, Hong Kong, China, October 3-5, 2011, VOLUME: 379 AICT
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
133
TITLE: Lazy Decomposition for Distributed Decision Procedures PDF
AUTHORS: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLISHED: 2011, SOURCE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
INDEXED IN: DBLP arXiv
IN MY: DBLP
134
TITLE: Minimally Unsatisfiable Boolean Circuits
AUTHORS: Anton Belov; João P Marques Silva ;
PUBLISHED: 2011, SOURCE: 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011 in Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings, VOLUME: 6695
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
135
TITLE: On Deciding MUS Membership with QBF
AUTHORS: Mikolás Janota; João P Marques Silva ;
PUBLISHED: 2011, SOURCE: 17th International Conference on Principles and Practice of Constraint Programming, CP 2011 in Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, VOLUME: 6876
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
136
TITLE: On Improving MUS Extraction Algorithms
AUTHORS: Marques Silva, J ; Lynce, I ;
PUBLISHED: 2011, SOURCE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
INDEXED IN: Scopus WOS DBLP CrossRef: 31 Unpaywall
IN MY: ORCID | DBLP
137
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: 5 Unpaywall
IN MY: ORCID
138
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
139
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: DBLP
140
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: ResearcherID | DBLP
Page 14 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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