Daniel Le Berre

Available identifiers

zbMath Open le-berre.danielMaRDI QIDQ814565

List of research outcomes

Publication	Date of Publication	Type
SAF: SAT-based attractor finder in asynchronous automata networks	2024-02-28	Paper
On dedicated CDCL strategies for PB solvers	2022-03-22	Paper
On weakening strategies for PB solvers	2021-04-07	Paper
An assumption-based approach for solving the minimal S5-satisfiability problem	2018-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4576242	2018-07-12	Paper
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem	2015-01-14	Paper
Detecting Cardinality Constraints in CNF	2014-09-26	Paper
Aggregating Interval Orders by Propositional Optimization	2009-11-17	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q3429018	2007-03-30	Paper
Weakening conflicting information for iterated revision and knowledge integration	2006-02-07	Paper
Qualitative choice logic	2006-02-07	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Exploiting the real power of unit propagation lookahead	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4265638	1999-09-22	Paper

Research outcomes over time

This page was built for person: Daniel Le Berre