Joao Marques-Silva

Cited by

	All	Since 2016
Citations	12479	4655
h-index	53	33
i10-index	192	105

980

490

245

735

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202148 79 138 225 253 341 333 334 329 419 463 544 516 577 594 764 776 813 919 787 877 811 963 288

Public access

View all

93 articles

11 articles

available

not available

Based on funding mandates

Co-authors

Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Karem SakallahVerified email at umich.edu
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Mikoláš JanotaAssistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of LisbonVerified email at sat.inesc-id.pt
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-IDVerified email at tecnico.ulisboa.pt
Jordi PlanesUniversitat de LleidaVerified email at diei.udl.cat
Paulo FloresINESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboa (ULisboa)Verified email at inesc-id.pt
Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Luis Guerra e SilvaINESC-ID, Instituto Superior Técnico, ULisbonVerified email at inesc-id.pt
Nina NarodytskaVMware ResearchVerified email at vmware.com
Mark LiffitonIllinois Wesleyan UniversityVerified email at iwu.edu
L. Miguel SilveiraIEEE Fellow, Prof. of ECE, INESC-ID / IST Técnico Lisboa, Universidade de LisboaVerified email at inesc-id.pt
William KlieberCarnegie MellonVerified email at cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Sharad MalikProfessor of Electrical Engineering, Princeton UniversityVerified email at princeton.edu
Josep ArgelichUniversitat de LleidaVerified email at diei.udl.cat
Horacio NetoINESC-ID / IST, University of LisbonVerified email at inesc-id.pt

Joao Marques-Silva

CNRS Research Director, IRIT, CNRS & ANITI

Verified email at irit.fr - Homepage

Satisfiability Constraint Programming Automated Reasoning Computational Logic Knowledge Representation and Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
GRASP---A New Search Algorithm for Satisfiability J Marques-Silva, K Sakallah in Proceedings of the International Conference on Computer-Aided Design, 1996	3048*	1996
GRASP: A search algorithm for propositional satisfiability JP Marques-Silva, KA Sakallah IEEE Transactions on Computers 48 (5), 506-521, 1999	1754	1999
GRASP—a new search algorithm for satisfiability JPM Silva, KA Sakallah The Best of ICCAD, 73-89, 2003	1469	2003
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik SAT Handbook, 131-154, 2009	445*	2009
SMT-based bounded model checking for embedded ANSI-C software L Cordeiro, B Fischer, J Marques-Silva IEEE Transactions on Software Engineering 38 (4), 957-974, 2011	307	2011
The impact of branching heuristics in propositional satisfiability algorithms J Marques-Silva Portuguese Conference on Artificial Intelligence, 62-74, 1999	267	1999
SAT and ATPG: Algorithms for Boolean Decision Problems, aus Logic Synthesis and Verification W Kunz, J Marques-Silva, S Malik Kluwer Academic Publishion, 2001	220*	2001
Solving QBF with counterexample guided refinement M Janota, W Klieber, J Marques-Silva, E Clarke International Conference on Theory and Applications of Satisfiability …, 2012	184	2012
Algorithms for weighted boolean optimization V Manquinho, J Marques-Silva, J Planes International conference on theory and applications of satisfiability …, 2009	175	2009
Boolean satisfiability in electronic design automation JP Marques-Silva, KA Sakallah Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000	165	2000
On Computing Minimum Unsatisfiable Cores I Lynce, J Marques-Silva SAT 2004 (online proceedings), 2004	158	2004
Algorithms for maximum satisfiability using unsatisfiable cores J Marques-Silva, J Planes Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011	153	2011
Iterative and core-guided MaxSAT solving: A survey and assessment A Morgado, F Heras, M Liffiton, J Planes, J Marques-Silva Constraints 18 (4), 478-534, 2013	150	2013
On computing minimal correction subsets J Marques-Silva, F Heras, M Janota, A Previti, A Belov Twenty-Third International Joint Conference on Artificial Intelligence, 2013	150	2013
Practical applications of boolean satisfiability J Marques-Silva 2008 9th International Workshop on Discrete Event Systems, 74-80, 2008	146	2008
Robust search algorithms for test pattern generation J Marques-Silva, KA Sakallah Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh …, 1997	135*	1997
Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce International Conference on Principles and Practice of Constraint …, 2007	132	2007
Conflict analysis in search algorithms for satisfiability JPM Silva, KA Sakallah Proceedings Eighth IEEE International Conference on Tools with Artificial …, 1996	121	1996
Combinational equivalence checking using satisfiability and recursive learning J Marques-Silva, T Glass Proceedings of the conference on Design, automation and test in Europe, 33-es, 1999	119	1999
Using randomization and learning to solve hard real-world instances of satisfiability L Baptista, J Marques-Silva International conference on principles and practice of constraint …, 2000	118	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors