Urmăriți
Joao Marques-Silva
Joao Marques-Silva
Research Professor, ICREA, University of Lleida
Adresă de e-mail confirmată pe icrea.cat - Pagina de pornire
Titlu
Citat de
Citat de
Anul
GRASP---A New Search Algorithm for Satisfiability
J Marques-Silva, K Sakallah
in Proceedings of the International Conference on Computer-Aided Design, 1996
3649*1996
Conflict-driven clause learning SAT solvers
J Marques-Silva, I Lynce, S Malik
SAT Handbook, 131-154, 2009
768*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
4072011
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
3762018
Solving QBF with counterexample guided refinement
M Janota, W Klieber, J Marques-Silva, E Clarke
Artificial Intelligence 234, 1-25, 2016
3252016
The impact of branching heuristics in propositional satisfiability algorithms
J Marques-Silva
Portuguese Conference on Artificial Intelligence, 62-74, 1999
3091999
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
2772019
SAT and ATPG: Algorithms for Boolean Decision Problems, aus Logic Synthesis and Verification
W Kunz, J Marques-Silva, S Malik
Kluwer Academic Publishion, 2001
269*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
2232013
Fast, flexible MUS enumeration
MH Liffiton, A Previti, A Malik, J Marques-Silva
Constraints 21, 223-250, 2016
2142016
On Computing Minimal Correction Subsets.
J Marques-Silva, F Heras, M Janota, A Previti, A Belov
IJCAI 13, 615-622, 2013
2112013
Practical applications of boolean satisfiability
J Marques-Silva
2008 9th International Workshop on Discrete Event Systems, 74-80, 2008
2102008
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009
2062009
Boolean satisfiability in electronic design automation
JP Marques-Silva, KA Sakallah
Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000
2062000
On Computing Minimum Unsatisfiable Cores
I Lynce, J Marques-Silva
SAT 2004 (online proceedings), 2004
1932004
RC2: an efficient MaxSAT solver
A Ignatiev, A Morgado, J Marques-Silva
Journal on Satisfiability, Boolean Modelling and Computation 11 (1), 53-64, 2019
1732019
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
1732018
Algorithms for maximum satisfiability using unsatisfiable cores
J Marques-Silva, J Planes
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011
1652011
Towards robust CNF encodings of cardinality constraints
J Marques-Silva, I Lynce
Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007
1552007
On relating explanations and adversarial examples
A Ignatiev, N Narodytska, J Marques-Silva
Advances in neural information processing systems 32, 2019
1512019
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20