Ines Lynce
Ines Lynce
INESC-ID / IST, Universidade de Lisboa
Dirección de correo verificada de tecnico.ulisboa.pt - Página principal
Título
Citado por
Citado por
Año
Conflict-driven clause learning SAT solvers
J Marques-Silva, I Lynce, S Malik
Handbook of satisfiability, 131-153, 2009
3632009
Sudoku as a SAT Problem.
I Lynce, J Ouaknine
ISAIM, 2006
1752006
On computing minimum unsatisfiable cores
I Lynce, JP Marques-Silva
1582004
Open-WBO: A modular MaxSAT solver
R Martins, V Manquinho, I Lynce
International Conference on Theory and Applications of Satisfiability …, 2014
1412014
Towards robust CNF encodings of cardinality constraints
J Marques-Silva, I Lynce
International Conference on Principles and Practice of Constraint …, 2007
1232007
Efficient haplotype inference with boolean satisfiability
I Lynce, J Marques-Silva
National Conference on Artificial Intelligence (AAAI), 2006
1032006
Probing-based preprocessing techniques for propositional satisfiability
I Lynce, J Marques-Silva
Proceedings. 15th IEEE International Conference on Tools with Artificial …, 2003
882003
Towards efficient MUS extraction
A Belov, I Lynce, J Marques-Silva
AI Communications 25 (2), 97-116, 2012
862012
On improving MUS extraction algorithms
J Marques-Silva, I Lynce
International Conference on Theory and Applications of Satisfiability …, 2011
742011
Incremental cardinality constraints for MaxSAT
R Martins, S Joshi, V Manquinho, I Lynce
International Conference on Principles and Practice of Constraint …, 2014
712014
SAT in bioinformatics: Making the case with haplotype inference
I Lynce, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2006
712006
An overview of parallel SAT solving
R Martins, V Manquinho, I Lynce
Constraints 17 (3), 304-347, 2012
662012
A branch-and-bound algorithm for extracting smallest minimal unsatisfiable formulas
M Mneimneh, I Lynce, Z Andraus, J Marques-Silva, K Sakallah
International Conference on Theory and Applications of Satisfiability …, 2005
652005
Solving Linux upgradeability problems using boolean optimization
J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault
arXiv preprint arXiv:1007.1021, 2010
622010
Boolean lexicographic optimization: algorithms & applications
J Marques-Silva, J Argelich, A Graça, I Lynce
Annals of Mathematics and Artificial Intelligence 62 (3-4), 317-343, 2011
582011
Efficient data structures for backtrack search SAT solvers
I Lynce, J Marques-Silva
Annals of Mathematics and Artificial Intelligence 43 (1-4), 137-152, 2005
582005
Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the lean kernel
O Kullmann, I Lynce, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2006
562006
On Computing Backbones of Propositional Theories.
J Marques-Silva, M Janota, I Lynce
ECAI 215, 15-20, 2010
502010
Algorithms for computing backbones of propositional formulae
M Janota, I Lynce, J Marques-Silva
Ai Communications 28 (2), 161-177, 2015
442015
The seventh QBF solvers evaluation (QBFEVAL’10)
C Peschiera, L Pulina, A Tacchella, U Bubeck, O Kullmann, I Lynce
International Conference on Theory and Applications of Satisfiability …, 2010
442010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20