ResearcherID Thomson Reuters  

Marques-Silva, Joao
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: C-9162-2009
Other Names: Joao Marques Silva; João Marques Silva; João Marques-Silva; Joao M. Silva
URL: http://www.researcherid.com/rid/C-9162-2009
Subject: Computer Science
ORCID: http://orcid.org/0000-0002-6632-3086
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  12  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: GRASP: A search algorithm for propositional satisfiability
 Author(s): Marques-Silva, J.P.; Sakallah, K.A.
 Source: IEEE Transactions on Computers Volume: 48 Issue: 5 Pages: 506-521 Published: 1999
 Times Cited: 433
 DOI: 10.1109/12.769433 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-0032680865&partnerID=MN8TOARS
added
24-Dec-13
2.  Title: Conflict-driven clause learning SAT solvers
 Author(s): Marques-Silva, J.; Lynce, I.; Malik, S.
 Source: Frontiers in Artificial Intelligence and Applications Volume: 185 Issue: 1 Pages: 131-153 Published: 2009
 Times Cited: 41
 DOI: 10.3233/978-1-58603-929-5-131 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-72949091469&partnerID=MN8TOAR ...
added
24-Dec-13
3.  Title: Iterative and core-guided MaxSAT solving: A survey and assessment
 Author(s): Morgado, A.; Heras, F.; Liffiton, M.; et al.
 Source: Constraints Volume: 18 Issue: 4 Pages: 478-534 Published: 2013
 Times Cited: 39
 DOI: 10.1007/s10601-013-9146-2 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84882242017&partnerID=MN8TOAR ...
added
24-Dec-13
4.  Title: SMT-based bounded model checking for embedded ANSI-C software
 Author(s): Cordeiro, L.; Fischer, B.; Marques-Silva, J.
 Source: IEEE Transactions on Software Engineering Volume: 38 Issue: 4 Pages: 957-974 Published: 2012
 Times Cited: 34
 DOI: 10.1109/TSE.2011.59 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84864610262&partnerID=MN8TOAR ...
added
24-Dec-13
5.  Title: Automated design debugging with maximum satisfiability
 Author(s): Chen, Y.; Safarpour, S.; Marques-Silva, J.; et al.
 Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Volume: 29 Issue: 11 Pages: 1804-1817 Published: 2010
 Times Cited: 30
 DOI: 10.1109/TCAD.2010.2061270 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-77958453220&partnerID=MN8TOAR ...
added
24-Dec-13
6.  Title: Towards efficient MUS extraction
 Author(s): Belov, A.; Lynce, I.; Marques-Silva, J.
 Source: AI Communications Volume: 25 Issue: 2 Pages: 97-116 Published: 2012
 Times Cited: 29
 DOI: 10.3233/AIC-2012-0523 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84864443564&partnerID=MN8TOAR ...
added
24-Dec-13
7.  Title: SMT-based bounded model checking for embedded ANSI-C software
 Author(s): Cordeiro, L.; Fischer, B.; Marques-Silva, J.
 Source: ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering Pages: 137-148 Published: 2009
 Times Cited: 29
 DOI: 10.1109/ASE.2009.63 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-77952137297&partnerID=MN8TOAR ...
added
24-Dec-13
8.  Title: Search pruning techniques in SAT-based branch-and-bound algorithms for the binate covering problem
 Author(s): Manquinho, V.M.; Marques-Silva, J.P.
 Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Volume: 21 Issue: 5 Pages: 505-516 Published: 2002
 Times Cited: 21
 DOI: 10.1109/43.998623 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-0036576020&partnerID=MN8TOARS
added
24-Dec-13
9.  Title: A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
 Author(s): Liffiton, M.; Mneimneh, M.; Lynce, I.; et al.
 Source: Constraints Volume: 14 Issue: 4 Pages: 415-442 Published: 2009
 Times Cited: 18
 DOI: 10.1007/s10601-008-9058-8 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-70349507165&partnerID=MN8TOAR ...
added
24-Dec-13
10.  Title: An exact solution to the minimum size test pattern problem
 Author(s): Flores, P.F.; Neto, H.C.; Marques-Silva, J.P.
 Source: ACM Transactions on Design Automation of Electronic Systems Volume: 6 Issue: 4 Pages: 629-644 Published: 2001
 Times Cited: 17
 DOI: 10.1145/502175.502186 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-33746845358&partnerID=MN8TOAR ...
added
24-Dec-13
publication(s)  
First Page Previous Page Page   of  12  Go Next Page Last Page
  Sort by:    Results per page: