Follow
Joao Marques-Silva
Joao Marques-Silva
CNRS Research Director, IRIT, CNRS & ANITI
Verified email at irit.fr - Homepage
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
1904*1996
GRASP: A search algorithm for propositional satisfiability
JP Marques-Silva, KA Sakallah
IEEE Transactions on Computers 48 (5), 506-521, 1999
18991999
GRASP—a new search algorithm for satisfiability
JP Marques Silva, KA Sakallah
The Best of ICCAD, 73-89, 2003
15972003
Conflict-driven clause learning SAT solvers
J Marques-Silva, I Lynce, S Malik
SAT Handbook, 131-154, 2009
551*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
3502011
The impact of branching heuristics in propositional satisfiability algorithms
J Marques-Silva
Portuguese Conference on Artificial Intelligence, 62-74, 1999
2901999
SAT and ATPG: Algorithms for Boolean Decision Problems, aus Logic Synthesis and Verification
W Kunz, J Marques-Silva, S Malik
Kluwer Academic Publishion, 2001
236*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
2032012
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
International conference on theory and applications of satisfiability …, 2009
1912009
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
1892013
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
1822013
Boolean satisfiability in electronic design automation
JP Marques-Silva, KA Sakallah
Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000
1812000
On Computing Minimum Unsatisfiable Cores
I Lynce, J Marques-Silva
SAT 2004 (online proceedings), 2004
1722004
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
1702018
Practical applications of boolean satisfiability
J Marques-Silva
IEEE Press, 2008
1692008
Algorithms for maximum satisfiability using unsatisfiable cores
J Marques-Silva, J Planes
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011
1552011
Fast, flexible MUS enumeration
MH Liffiton, A Previti, A Malik, J Marques-Silva
Constraints 21 (2), 223-250, 2016
1492016
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
1382007
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
1281999
The system can't perform the operation now. Try again later.
Articles 1–20