עקוב אחר
Joao Marques-Silva
Joao Marques-Silva
Research Professor, ICREA, University of Lleida
כתובת אימייל מאומתת בדומיין icrea.cat - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
3972011
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‏
3552018
Solving QBF with counterexample guided refinement‏
M Janota, W Klieber, J Marques-Silva, E Clarke‏
Artificial Intelligence 234, 1-25, 2016‏
3212016
The impact of branching heuristics in propositional satisfiability algorithms‏
J Marques-Silva‏
Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial …, 1999‏
3051999
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‏
2602019
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‏
2182013
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‏
2062013
Practical applications of boolean satisfiability‏
J Marques-Silva‏
2008 9th International Workshop on Discrete Event Systems, 74-80, 2008‏
2062008
Algorithms for weighted boolean optimization‏
V Manquinho, J Marques-Silva, J Planes‏
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009‏
2052009
Boolean satisfiability in electronic design automation‏
JP Marques-Silva, KA Sakallah‏
Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000‏
2032000
Fast, flexible MUS enumeration‏
MH Liffiton, A Previti, A Malik, J Marques-Silva‏
Constraints 21, 223-250, 2016‏
2002016
On Computing Minimum Unsatisfiable Cores‏
I Lynce, J Marques-Silva‏
SAT 2004 (online proceedings), 2004‏
1882004
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‏
1702018
Algorithms for maximum satisfiability using unsatisfiable cores‏
J Marques-Silva, J Planes‏
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011‏
1642011
RC2: an efficient MaxSAT solver‏
A Ignatiev, A Morgado, J Marques-Silva‏
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 53-64, 2019‏
1602019
Towards robust CNF encodings of cardinality constraints‏
J Marques-Silva, I Lynce‏
Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007‏
1512007
On relating explanations and adversarial examples‏
A Ignatiev, N Narodytska, J Marques-Silva‏
Advances in neural information processing systems 32, 2019‏
1472019
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20