| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva |
PackUp: Tools for Package Upgradability Solving.  |
JSAT  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva |
Restoring CSP Satisfiability with MaxSAT. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira |
Haplotype inference with pseudo-Boolean optimization. |
Annals OR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Inês Lynce, Ralf Treinen (eds.) |
Proceedings Second Workshop on Logics for Component Configuration |
LoCoCo |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce |
Boolean lexicographic optimization: algorithms & applications. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Graça, João Marques-Silva, Inês Lynce |
Haplotype Inference Using Propositional Satisfiability. |
Mathematical Approaches to Polymer Sequence Analysis and Related Problems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João P. Marques Silva, Inês Lynce |
On Improving MUS Extraction Algorithms. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Martins, Vasco M. Manquinho, Inês Lynce |
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Argelich, Daniel Le Berre, Inês Lynce, João P. Marques Silva, Pascal Rapicault |
Solving Linux Upgradeability Problems Using Boolean Optimization |
LoCoCo |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, Ralf Treinen (eds.) |
Proceedings First International Workshop on Logics for Component Configuration |
LoCoCo |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Mikolás Janota, Inês Lynce |
On Computing Backbones of Propositional Theories. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paulo Trezentos, Inês Lynce, Arlindo L. Oliveira |
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce |
The Seventh QBF Solvers Evaluation (QBFEVAL'10). |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco M. Manquinho, Ruben Martins, Inês Lynce |
Improving Unsatisfiability-Based Algorithms for Boolean Optimization. |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà |
New Insights into Encodings from MaxCSP into Partial MaxSAT. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
MaxCSP, Partial MaxSAT, Encodings |
| 1 | Ana Graça, Inês Lynce, João Marques-Silva, Arlindo L. Oliveira |
Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information. |
ANB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Martins, Vasco M. Manquinho, Inês Lynce |
Improving Search Space Splitting for Parallel SAT Solving. |
ICTAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah |
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Infeasibility, Minimal unsatisfiable subformula, MUS, Smallest minimal unsatisfiable subformula, SMUS, SAT, Boolean satisfiability |
| 1 | Josep Argelich, Inês Lynce, João P. Marques Silva |
On Solving Boolean Multilevel Optimization Problems |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | David Pereira, Inês Lynce, Steven David Prestwich |
On Improving Local Search for Unsatisfiability |
LSCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | João P. Marques Silva, Inês Lynce, Sharad Malik |
Conflict-Driven Clause Learning SAT Solvers. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Argelich, Inês Lynce, João P. Marques Silva |
On Solving Boolean Multilevel Optimization Problemse. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà |
Sequential Encodings from Max-CSP into Partial Max-SAT. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà |
Regular Encodings from Max-CSP into Partial Max-SAT. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | João Delgado, Inês Lynce, Vasco M. Manquinho |
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization. |
RECOMB-CG |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva |
Haplotype Inference with Boolean Satisfiability. |
International Journal on Artificial Intelligence Tools |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva, Steven David Prestwich |
Boosting Haplotype Inference with Local Search. |
Constraints |
2008 |
DBLP DOI BibTeX RDF |
Local search, Boolean satisfiability, Haplotype inference |
| 1 | João Marques-Silva, Inês Lynce, Vasco M. Manquinho |
Symmetry Breaking for Maximum Satisfiability |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, Vasco M. Manquinho, João Marques-Silva |
Backtracking. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Inês Lynce, Vasco M. Manquinho |
Symmetry Breaking for Maximum Satisfiability. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà |
Modelling Max-CSP as Partial Max-SAT. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà |
Encoding Max-CSP into Partial Max-SAT. |
ISMVL |
2008 |
DBLP DOI BibTeX RDF |
Minimal Support, Max-CSP, Partial Max-SAT, Encodings |
| 1 | Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira |
Efficient Haplotype Inference with Combined CP and OR Techniques. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, Ana Graça, João Marques-Silva, Arlindo L. Oliveira |
Haplotype Inference with Boolean Constraint Solving: An Overview. |
ICTAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim |
Search in the patience game 'Black Hole'. |
AI Commun. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Random backtracking in backtrack search algorithms for satisfiability. |
Discrete Applied Mathematics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Karem A. Sakallah, Inês Lynce |
Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing. |
AI Magazine |
2007 |
DBLP BibTeX RDF |
|
| 1 | João Marques-Silva, Inês Lynce, Ana Graça, Arlindo L. Oliveira |
Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection. |
EPIA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Breaking Symmetries in SAT Matrix Models. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven David Prestwich, Inês Lynce |
Refutation by Randomised General Resolution. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | João P. Marques Silva, Inês Lynce |
Towards Robust CNF Encodings of Cardinality Constraints. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira |
Efficient Haplotype Inference with Pseudo-boolean Optimization. |
AB |
2007 |
DBLP DOI BibTeX RDF |
pure parsimony, pseudo-Boolean optimization, haplotype inference |
| 1 | Inês Lynce |
Propositional satisfiability: Techniques, algorithms and applications. |
AI Commun. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva |
SAT in Bioinformatics: Making the Case with Haplotype Inference. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kullmann, Inês Lynce, João Marques-Silva |
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven David Prestwich, Inês Lynce |
Local Search for Unsatisfiability. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, Joël Ouaknine |
Sudoku as a SAT Problem. |
ISAIM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva |
Efficient Haplotype Inference with Boolean Satisfiability. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva |
Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Efficient data structures for backtrack search SAT solvers. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
backtrack search, propositional satisfiability |
| 1 | Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João P. Marques Silva, Karem A. Sakallah |
A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
On Computing Minimum Unsatisfiable Cores. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
An Overview of Backtrack Search Satisfiability Algorithms. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva |
Heuristic-Based Backtracking for Propositional Satisfiability. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Probing-Based Preprocessing Techniques for Propositional Satisfiability. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva |
Heuristic Backtracking Algorithms for SAT. |
MTV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Building State-of-the-Art SAT Solvers. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms. |
International Workshop on Constraint Solving and Constraint Logic Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Tuning Randomization in Backtrack Search SAT Algorithms. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, Luís Baptista, João Marques-Silva |
Stochastic Systematic Search Algorithms for Satisfiability. |
Electronic Notes in Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, Luís Baptista, João P. Marques Silva |
Towards Provably Complete Stochastic Search Algorithms for Satisfiability. |
EPIA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Improving SAT Algorithms by Using Search Pruning Techniques. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")