# Inês Lynce

According to our database

Collaborative distances:

^{1}, Inês Lynce authored at least 107 papers between 2001 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks.

Proceedings of the Computational Methods in Systems Biology, 2020

2019

Virtual machine consolidation using constraint-based multi-objective optimization.

J. Heuristics, 2019

CoRR, 2019

Repairing Boolean logical models from time-series data using Answer Set Programming.

Algorithms Mol. Biol., 2019

Proceedings of the Bioinformatics Research and Applications - 15th International Symposium, 2019

Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms.

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Proceedings of the Principles and Practice of Constraint Programming, 2019

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Electron. Notes Theor. Comput. Sci., 2018

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Proceedings of the Progress in Artificial Intelligence, 2017

2016

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2015

Improving linear search algorithms with model-based approaches for MaxSAT solving.

J. Exp. Theor. Artif. Intell., 2015

Int. J. Artif. Intell. Tools, 2015

CoRR, 2015

AI Commun., 2015

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2014

J. Satisf. Boolean Model. Comput., 2014

An ontology-based approach to conflict resolution in Home and Building Automation Systems.

Expert Syst. Appl., 2014

AI Commun., 2014

Artif. Intell., 2014

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Proceedings of the Principles and Practice of Constraint Programming, 2014

Proceedings of the Tractability: Practical Approaches to Hard Problems, 2014

2013

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

2012

J. Multiple Valued Log. Soft Comput., 2012

J. Satisf. Boolean Model. Comput., 2012

CoRR, 2012

Constraints An Int. J., 2012

AI Commun., 2012

AI Commun., 2012

Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Proceedings of the ECAI 2012, 2012

Proceedings of the Computer Science Logic (CSL'12), 2012

Proceedings of the Principles and Practice of Constraint Programming, 2012

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Fundam. Informaticae, 2011

Ann. Oper. Res., 2011

Ann. Math. Artif. Intell., 2011

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Proceedings of the Mathematical Approaches to Polymer Sequence Analysis and Related Problems, 2011

2010

J. Comput. Biol., 2010

Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes.

J. Comput. Biol., 2010

Proceedings of the Proceedings First International Workshop on Logics for Component Configuration, 2010

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Apt-pbo: solving the software dependency problem using pseudo-boolean optimization.

Proceedings of the ASE 2010, 2010

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Proceedings of the ECAI 2010, 2010

Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information.

Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

2009

Proceedings of the Handbook of Satisfiability, 2009

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

CoRR, 2009

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas.

Constraints An Int. J., 2009

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization.

Proceedings of the Comparative Genomics, International Workshop, 2009

Proceedings of the ISMVL 2009, 2009

Proceedings of the IJCAI 2009, 2009

2008

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Int. J. Artif. Intell. Tools, 2008

Constraints An Int. J., 2008

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008

Proceedings of the Logic for Programming, 2008

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007

Discret. Appl. Math., 2007

Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing.

AI Mag., 2007

AI Commun., 2007

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection.

Proceedings of the Progress in Artificial Intelligence, 2007

Proceedings of the Principles and Practice of Constraint Programming, 2007

Proceedings of the Algebraic Biology, Second International Conference, 2007

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

AI Commun., 2006

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel.

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

Proceedings of the Proceedings, 2006

2005

J. Autom. Reason., 2005

Ann. Math. Artif. Intell., 2005

A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas.

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

2004

Proceedings of the SAT 2004, 2004

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2003

Ann. Math. Artif. Intell., 2003

Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003

Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

Proceedings of the Progress in Artificial Intelligence, 2003

2002

Building State-of-the-Art SAT Solvers.

Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Proceedings of the Principles and Practice of Constraint Programming, 2002

Proceedings of the Recent Advances in Constraints, 2002

2001

Electron. Notes Discret. Math., 2001

Proceedings of the Progress in Artificial Intelligence, 2001

Proceedings of the Principles and Practice of Constraint Programming, 2001