Joao Marques-Silva
Joao Marques-Silva
Research Chair, ANITI, Université Fédérale Toulouse Midi-Pyrénées, France
Dirección de correo verificada de acm.org - Página principal
Título
Citado por
Citado por
Año
GRASP---A New Search Algorithm for Satisfiability
J Marques-Silva, K Sakallah
in Proceedings of the International Conference on Computer-Aided Design, 1996
2929*1996
GRASP: A search algorithm for propositional satisfiability
JP Marques-Silva, KA Sakallah
IEEE Transactions on Computers 48 (5), 506-521, 1999
16681999
GRASP—a new search algorithm for satisfiability
JPM Silva, KA Sakallah
The Best of ICCAD, 73-89, 2003
14142003
Conflict-driven clause learning SAT solvers
J Marques-Silva, I Lynce, S Malik
SAT Handbook, 131-154, 2009
415*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
2882011
The impact of branching heuristics in propositional satisfiability algorithms
J Marques-Silva
Portuguese Conference on Artificial Intelligence, 62-74, 1999
2651999
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
1752012
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
International conference on theory and applications of satisfiability …, 2009
1632009
Boolean satisfiability in electronic design automation
JP Marques-Silva, KA Sakallah
Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000
1612000
On Computing Minimum Unsatisfiable Cores
I Lynce, J Marques-Silva
SAT 2004 (online proceedings), 2004
1512004
Algorithms for maximum satisfiability using unsatisfiable cores
J Marques-Silva, J Planes
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011
1492011
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
1392013
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
1342013
Practical applications of boolean satisfiability
J Marques-Silva
2008 9th International Workshop on Discrete Event Systems, 74-80, 2008
1322008
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
Towards robust CNF encodings of cardinality constraints
J Marques-Silva, I Lynce
International Conference on Principles and Practice of Constraint …, 2007
1252007
Conflict analysis in search algorithms for satisfiability
JPM Silva, KA Sakallah
Proceedings Eighth IEEE International Conference on Tools with Artificial …, 1996
1211996
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
1161999
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
1152000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20