| GRASP---A New Search Algorithm for Satisfiability J Marques-Silva, K Sakallah in Proceedings of the International Conference on Computer-Aided Design, 1996 | 3624* | 1996 |
| Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik SAT Handbook, 131-154, 2009 | 739* | 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 | 397 | 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 | 356 | 2018 |
| Solving QBF with counterexample guided refinement M Janota, W Klieber, J Marques-Silva, E Clarke Artificial Intelligence 234, 1-25, 2016 | 321 | 2016 |
| The impact of branching heuristics in propositional satisfiability algorithms J Marques-Silva Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial …, 1999 | 305 | 1999 |
| Abduction-based explanations for machine learning models A Ignatiev, N Narodytska, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1511-1519, 2019 | 260 | 2019 |
| SAT and ATPG: Algorithms for Boolean Decision Problems, aus Logic Synthesis and Verification W Kunz, J Marques-Silva, S Malik Kluwer Academic Publishion, 2001 | 255* | 2001 |
| Iterative and core-guided MaxSAT solving: A survey and assessment A Morgado, F Heras, M Liffiton, J Planes, J Marques-Silva Constraints 18, 478-534, 2013 | 219 | 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 | 206 | 2013 |
| Practical applications of boolean satisfiability J Marques-Silva 2008 9th International Workshop on Discrete Event Systems, 74-80, 2008 | 206 | 2008 |
| Algorithms for weighted boolean optimization V Manquinho, J Marques-Silva, J Planes Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 205 | 2009 |
| Boolean satisfiability in electronic design automation JP Marques-Silva, KA Sakallah Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000 | 203 | 2000 |
| Fast, flexible MUS enumeration MH Liffiton, A Previti, A Malik, J Marques-Silva Constraints 21, 223-250, 2016 | 200 | 2016 |
| On Computing Minimum Unsatisfiable Cores I Lynce, J Marques-Silva SAT 2004 (online proceedings), 2004 | 188 | 2004 |
| Learning optimal decision trees with SAT N Narodytska, A Ignatiev, F Pereira, J Marques-Silva International Joint Conference on Artificial Intelligence 2018, 1362-1368, 2018 | 170 | 2018 |
| Algorithms for maximum satisfiability using unsatisfiable cores J Marques-Silva, J Planes Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011 | 165 | 2011 |
| RC2: an efficient MaxSAT solver A Ignatiev, A Morgado, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 53-64, 2019 | 162 | 2019 |
| Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007 | 151 | 2007 |
| On relating explanations and adversarial examples A Ignatiev, N Narodytska, J Marques-Silva Advances in neural information processing systems 32, 2019 | 147 | 2019 |
Alexey IgnatievFaculty of Information Technology, Monash Universitymonash.edu의 이메일 확인됨