Inês Lynce
Orcid: 0000-0003-4868-415XAffiliations:
- University of Lissabon, Portugal
According to our database1,
Inês Lynce
authored at least 126 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., July, 2024
J. Artif. Intell. Res., 2024
Proceedings of the 2024 ACM on Internet Measurement Conference, 2024
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024
2023
Exact and approximate determination of the Pareto front using Minimal Correction Subsets.
Comput. Oper. Res., May, 2023
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
2022
J. Sched., 2022
Exact and approximate determination of the Pareto set using minimal correction subsets.
CoRR, 2022
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021
2020
J. Comput. Biol., 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 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
J. Heuristics, 2019
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
Proceedings of SASB 2018, 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
J. Exp. Theor. Artif. Intell., 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
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 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
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 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
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
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
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 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
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
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
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
Proceedings of the Theory and Applications of Satisfiability Testing, 2005
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 European 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