Inês Lynce

According to our database1, Inês Lynce authored at least 107 papers between 2001 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Minimal Perturbation in University Timetabling with Maximum Satisfiability.
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

Reflections on "Incremental Cardinality Constraints for MaxSAT".
CoRR, 2019

Repairing Boolean logical models from time-series data using Answer Set Programming.
Algorithms Mol. Biol., 2019

Model Revision of Boolean Regulatory Networks at Stable State.
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

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Concurrency Debugging with MaxSMT.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids.
Electron. Notes Theor. Comput. Sci., 2018

Multi-Objective Optimization Through Pareto Minimal Correction Subsets.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Stratification for Constraint-Based Multi-Objective Combinatorial Optimization.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Model Revision of Logical Regulatory Networks Using Logic-Based Tools.
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Enhancing Constraint-Based Multi-Objective Combinatorial Optimization.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Parallel Maximum Satisfiability.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017
Introducing Pareto Minimal Correction Subsets.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Logic-Based Encodings for Ricochet Robots.
Proceedings of the Progress in Artificial Intelligence, 2017

2016
Non-Portfolio Approaches for Distributed Maximum Satisfiability.
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

Deterministic Parallel MaxSAT Solving.
Int. J. Artif. Intell. Tools, 2015

DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability.
CoRR, 2015

Algorithms for computing backbones of propositional formulae.
AI Commun., 2015

Exploiting Resolution-Based Representations for MaxSAT Solving.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2014
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving.
J. Satisf. Boolean Model. Comput., 2014

An ontology-based approach to conflict resolution in Home and Building Automation Systems.
Expert Syst. Appl., 2014

Inferring phylogenetic trees using pseudo-Boolean optimization.
AI Commun., 2014

Algorithms for computing minimal equivalent subformulas.
Artif. Intell., 2014

Open-WBO: A Modular MaxSAT Solver, .
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

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

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

Incremental Cardinality Constraints for MaxSAT.
Proceedings of the Principles and Practice of Constraint Programming, 2014

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

2013
Community-Based Partitioning for MaxSAT Solving.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

2012
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT.
J. Multiple Valued Log. Soft Comput., 2012

PackUp: Tools for Package Upgradability Solving.
J. Satisf. Boolean Model. Comput., 2012

On When and How to use SAT to Mine Frequent Itemsets
CoRR, 2012

An overview of parallel SAT solving.
Constraints An Int. J., 2012

Parallel search for maximum satisfiability.
AI Commun., 2012

Towards efficient MUS extraction.
AI Commun., 2012

Clause Sharing in Parallel MaxSAT.
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

On Partitioning for Maximum Satisfiability.
Proceedings of the ECAI 2012, 2012

Satisfiability: where Theory meets Practice (Invited Talk).
Proceedings of the Computer Science Logic (CSL'12), 2012

Reasoning over Biological Networks Using Maximum Satisfiability.
Proceedings of the Principles and Practice of Constraint Programming, 2012

On Computing Minimal Equivalent Subformulas.
Proceedings of the Principles and Practice of Constraint Programming, 2012

2011
Restoring CSP Satisfiability with MaxSAT.
Fundam. Informaticae, 2011

Haplotype inference with pseudo-Boolean optimization.
Ann. Oper. Res., 2011

Boolean lexicographic optimization: algorithms & applications.
Ann. Math. Artif. Intell., 2011

On Improving MUS Extraction Algorithms.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Exploiting Cardinality Encodings in Parallel Maximum Satisfiability.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Haplotype Inference Using Propositional Satisfiability.
Proceedings of the Mathematical Approaches to Polymer Sequence Analysis and Related Problems, 2011

2010
Haplotype Inference by Pure Parsimony: A Survey.
J. Comput. Biol., 2010

Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes.
J. Comput. Biol., 2010

Solving Linux Upgradeability Problems Using Boolean Optimization
Proceedings of the Proceedings First International Workshop on Logics for Component Configuration, 2010

The Seventh QBF Solvers Evaluation (QBFEVAL'10).
Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Improving Unsatisfiability-Based Algorithms for Boolean Optimization.
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

New Insights into Encodings from MaxCSP into Partial MaxSAT.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Improving Search Space Splitting for Parallel SAT Solving.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

On Computing Backbones of Propositional Theories.
Proceedings of the ECAI 2010, 2010

Boolean Lexicographic Optimization.
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
Conflict-Driven Clause Learning SAT Solvers.
Proceedings of the Handbook of Satisfiability, 2009

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

On Solving Boolean Multilevel Optimization Problems
CoRR, 2009

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas.
Constraints An Int. J., 2009

Sequential Encodings from Max-CSP into Partial Max-SAT.
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

Regular Encodings from Max-CSP into Partial Max-SAT.
Proceedings of the ISMVL 2009, 2009

On Solving Boolean Multilevel Optimization Problemse.
Proceedings of the IJCAI 2009, 2009

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

Haplotype Inference with Boolean Satisfiability.
Int. J. Artif. Intell. Tools, 2008

Boosting Haplotype Inference with Local Search.
Constraints An Int. J., 2008

Modelling Max-CSP as Partial Max-SAT.
Proceedings of the Theory and Applications of Satisfiability Testing, 2008

CNF Instances from the Software Package Installation Problem.
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008

Symmetry Breaking for Maximum Satisfiability.
Proceedings of the Logic for Programming, 2008

Encoding Max-CSP into Partial Max-SAT.
Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

Haplotype Inference with Boolean Constraint Solving: An Overview.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Efficient Haplotype Inference with Combined CP and OR Techniques.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007
Random backtracking in backtrack search algorithms for satisfiability.
Discret. Appl. Math., 2007

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

Search in the patience game 'Black Hole'.
AI Commun., 2007

Breaking Symmetries in SAT Matrix Models.
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

Towards Robust CNF Encodings of Cardinality Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Efficient Haplotype Inference with Pseudo-boolean Optimization.
Proceedings of the Algebraic Biology, Second International Conference, 2007

Refutation by Randomised General Resolution.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Propositional satisfiability: Techniques, algorithms and applications.
AI Commun., 2006

Local Search for Unsatisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing, 2006

SAT in Bioinformatics: Making the Case with Haplotype Inference.
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

Sudoku as a SAT Problem.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

Efficient Haplotype Inference with Boolean Satisfiability.
Proceedings of the Proceedings, 2006

2005
Heuristic-Based Backtracking Relaxation for Propositional Satisfiability.
J. Autom. Reason., 2005

Efficient data structures for backtrack search SAT solvers.
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
On Computing Minimum Unsatisfiable Cores.
Proceedings of the SAT 2004, 2004

Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2003
An Overview of Backtrack Search Satisfiability Algorithms.
Ann. Math. Artif. Intell., 2003

Heuristic Backtracking Algorithms for SAT.
Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003

Probing-Based Preprocessing Techniques for Propositional Satisfiability.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

Heuristic-Based Backtracking for Propositional Satisfiability.
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

Tuning Randomization in Backtrack Search SAT Algorithms.
Proceedings of the Principles and Practice of Constraint Programming, 2002

The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.
Proceedings of the Recent Advances in Constraints, 2002

2001
Stochastic Systematic Search Algorithms for Satisfiability.
Electron. Notes Discret. Math., 2001

Towards Provably Complete Stochastic Search Algorithms for Satisfiability.
Proceedings of the Progress in Artificial Intelligence, 2001

Improving SAT Algorithms by Using Search Pruning Techniques.
Proceedings of the Principles and Practice of Constraint Programming, 2001


  Loading...