Joao Marques-Silva

Cited by

	All	Since 2017
Citations	14526	5542
h-index	59	36
i10-index	216	122

1300

650

325

975

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202249 81 152 239 248 346 342 343 343 425 463 577 524 612 606 778 810 854 933 826 909 853 1039 1201 710

Public access

View all

123 articles

11 articles

available

not available

Based on funding mandates

Co-authors

Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Karem A SakallahUniversity of MichiganVerified email at umich.edu
Mikoláš JanotaCTU PragueVerified email at cvut.cz
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-IDVerified email at tecnico.ulisboa.pt
Nina NarodytskaVMware ResearchVerified email at vmware.com
Jordi PlanesUniversitat de LleidaVerified email at udl.cat
Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Paulo FloresINESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboa (ULisboa)Verified email at inesc-id.pt
Luis Guerra e SilvaINESC-ID, Instituto Superior Técnico, ULisbonVerified 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
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
William KlieberCarnegie MellonVerified email at cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Josep ArgelichUniversitat de LleidaVerified email at udl.cat

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	1884*	1996
GRASP: A search algorithm for propositional satisfiability JP Marques-Silva, KA Sakallah IEEE Transactions on Computers 48 (5), 506-521, 1999	1879	1999
GRASP—a new search algorithm for satisfiability JP Marques Silva, KA Sakallah The Best of ICCAD, 73-89, 2003	1575	2003
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik SAT Handbook, 131-154, 2009	531*	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	347	2011
The impact of branching heuristics in propositional satisfiability algorithms J Marques-Silva Portuguese Conference on Artificial Intelligence, 62-74, 1999	287	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	232*	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	199	2012
Algorithms for weighted boolean optimization V Manquinho, J Marques-Silva, J Planes International conference on theory and applications of satisfiability …, 2009	188	2009
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	180	2013
Boolean satisfiability in electronic design automation JP Marques-Silva, KA Sakallah Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000	180	2000
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	178	2013
On Computing Minimum Unsatisfiable Cores I Lynce, J Marques-Silva SAT 2004 (online proceedings), 2004	169	2004
Practical applications of boolean satisfiability J Marques-Silva IEEE Press, 2008	167	2008
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
PySAT: A Python toolkit for prototyping with SAT oracles A Ignatiev, A Morgado, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2018	145	2018
Fast, flexible MUS enumeration MH Liffiton, A Previti, A Malik, J Marques-Silva Constraints 21 (2), 223-250, 2016	144	2016
Robust search algorithms for test pattern generation J Marques-Silva, KA Sakallah Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh …, 1997	143*	1997
Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce International Conference on Principles and Practice of Constraint …, 2007	137	2007
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	125	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

Follow

Cited by

Co-authors