Inês Lynce

Available identifiers

zbMath Open lynce.inesWikidataQ85100310 ScholiaQ85100310MaRDI QIDQ421450

List of research outcomes

Publication	Date of Publication	Type
ModRev -- model revision tool for Boolean logical models of biological regulatory networks	2022-12-22	Paper
Minimal perturbation in university timetabling with maximum satisfiability	2022-12-21	Paper
Stable states of Boolean regulatory networks composed over hexagonal grids	2022-04-25	Paper
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving	2021-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4583677	2018-09-03	Paper
Introducing Pareto minimal correction subsets	2017-11-15	Paper
Algorithms for computing backbones of propositional formulae	2017-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q5283008	2017-07-18	Paper
Inferring phylogenetic trees using pseudo-Boolean optimization	2016-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q2786910	2016-02-23	Paper
Exploiting Resolution-Based Representations for MaxSAT Solving	2015-11-20	Paper
An overview of parallel SAT solving	2015-01-22	Paper
Algorithms for computing minimal equivalent subformulas	2014-10-13	Paper
Open-WBO: A Modular MaxSAT Solver,	2014-09-26	Paper
Community-Based Partitioning for MaxSAT Solving	2013-08-05	Paper
Satisfiability: where Theory meets Practice (Invited Talk).	2012-11-22	Paper
Towards efficient MUS extraction	2012-10-25	Paper
Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information	2012-06-08	Paper
Boolean lexicographic optimization: algorithms \& applications	2012-05-23	Paper
Restoring CSP Satisfiability with MaxSAT	2011-11-22	Paper
Haplotype inference with pseudo-Boolean optimization	2011-06-22	Paper
On Improving MUS Extraction Algorithms	2011-06-17	Paper
On Computing Backbones of Propositional Theories	2011-05-11	Paper
Improving Unsatisfiability-Based Algorithms for Boolean Optimization	2010-09-29	Paper
The Seventh QBF Solvers Evaluation (QBFEVAL’10)	2010-09-29	Paper
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas	2009-11-16	Paper
Progress in Artificial Intelligence	2009-08-07	Paper
Sequential Encodings from Max-CSP into Partial Max-SAT	2009-07-07	Paper
Symmetry Breaking for Maximum Satisfiability	2009-01-27	Paper
Boosting haplotype inference with local search	2008-09-02	Paper
Towards Robust CNF Encodings of Cardinality Constraints	2008-09-02	Paper
Modelling Max-CSP as Partial Max-SAT	2008-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5435012	2008-01-14	Paper
Efficient Haplotype Inference with Pseudo-boolean Optimization	2007-11-29	Paper
Local Search for Unsatisfiability	2007-09-04	Paper
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel	2007-09-04	Paper
Random backtracking in backtrack search algorithms for satisfiability	2007-08-23	Paper
Heuristic-based backtracking relaxation for propositional satisfiability	2007-01-24	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Efficient data structures for backtrack search SAT solvers	2005-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4475702	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736486	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4424861	2003-09-07	Paper
An overview of backtrack search satisfiability algorithms	2003-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q2741524	2001-09-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Inês Lynce