Joao Marques-Silva - Google Scholar

Cited by

	All	Since 2015
Citations	11871	4915
h-index	52	34
i10-index	186	107

920

460

230

690

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202051 77 130 208 248 341 350 345 328 426 463 536 505 576 593 756 782 808 910 784 875 804 724

Co-authors

Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Karem SakallahVerified email at umich.edu
Mikoláš JanotaAssistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of LisbonVerified email at sat.inesc-id.pt
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Arlindo L OliveiraProfessor of Computer Science and Engineering, Instituto Superior Técnico / INESC-IDVerified email at tecnico.ulisboa.pt
Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
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
Horacio NetoINESC-ID / IST, University of LisbonVerified email at inesc-id.pt
Mark LiffitonIllinois Wesleyan UniversityVerified email at iwu.edu
Huan ChenShunfeng Technology Company LimitedVerified email at sfmail.sf-express.com
L. Miguel SilveiraIEEE Fellow, Prof. of ECE, INESC-ID / IST Técnico Lisboa, Universidade de LisboaVerified email at inesc-id.pt
Nina NarodytskaVMware ResearchVerified email at vmware.com
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

Joao Marques-Silva

Research Chair, ANITI, Université Fédérale Toulouse Midi-Pyrénées, France

Verified email at acm.org - 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	2937*	1996
GRASP: A search algorithm for propositional satisfiability JP Marques-Silva, KA Sakallah IEEE Transactions on Computers 48 (5), 506-521, 1999	1676	1999
GRASP—a new search algorithm for satisfiability JPM Silva, KA Sakallah The Best of ICCAD, 73-89, 2003	1417	2003
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik SAT Handbook, 131-154, 2009	417*	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	290	2011
The impact of branching heuristics in propositional satisfiability algorithms J Marques-Silva Portuguese Conference on Artificial Intelligence, 62-74, 1999	266	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	228*	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	176	2012
Algorithms for weighted boolean optimization V Manquinho, J Marques-Silva, J Planes International conference on theory and applications of satisfiability …, 2009	164	2009
Boolean satisfiability in electronic design automation JP Marques-Silva, KA Sakallah Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000	161	2000
On Computing Minimum Unsatisfiable Cores I Lynce, J Marques-Silva SAT 2004 (online proceedings), 2004	151	2004
Algorithms for maximum satisfiability using unsatisfiable cores J Marques-Silva, J Planes Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011	150	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	140	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	136	2013
Robust search algorithms for test pattern generation J Marques-Silva, KA Sakallah Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh …, 1997	132*	1997
Practical applications of boolean satisfiability J Marques-Silva 2008 9th International Workshop on Discrete Event Systems, 74-80, 2008	131	2008
Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce International Conference on Principles and Practice of Constraint …, 2007	126	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	116	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	115	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