Inês Lynce
Orcid: 000000034868415XAffiliations:
 University of Lissabon, Portugal
According to our database^{1},
Inês Lynce
authored at least 124 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
2023
Exact and approximate determination of the Pareto front using Minimal Correction Subsets.
Comput. Oper. Res., May, 2023
Dagstuhl Reports, 2023
New CoreGuided and Hitting Set Algorithms for MultiObjective 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
Expert Syst. Appl., 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
J. Sched., 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
Revision of Boolean Models of Regulatory Networks Using Stable State Observations.
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
Virtual machine consolidation using constraintbased multiobjective optimization.
J. Heuristics, 2019
CoRR, 2019
Repairing Boolean logical models from timeseries data using Answer Set Programming.
Algorithms Mol. Biol., 2019
Proceedings of the Bioinformatics Research and Applications  15th International Symposium, 2019
Integrating PseudoBoolean Constraint Reasoning in MultiObjective Evolutionary Algorithms.
Proceedings of the TwentyEighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the ThirtyThird AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of SASB 2018, 2018
Proceedings of the TwentySeventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the TwentySeventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018
Proceedings of the ThirtySecond 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 modelbased 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 ontologybased 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, 1822 August 2014, Prague, Czech Republic, 2014
Proceedings of the ECAI 2014  21st European Conference on Artificial Intelligence, 1822 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
Aptpbo: solving the software dependency problem using pseudoboolean optimization.
Proceedings of the ASE 2010, 2010
Proceedings of the 40th IEEE International Symposium on MultipleValued 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 PseudoBoolean 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 MultipleValued 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 TwentySecond 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 Subclausesets 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 BranchandBound 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 StateoftheArt 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