Daniel Le Berre

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SAF: SAT-based attractor finder in asynchronous automata networks Computational Methods in Systems Biology	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
Fixed parameter tractable optimization under DNNF constraints	2018-07-12	Paper
Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem Logics in Artificial Intelligence	2015-01-14	Paper
Detecting cardinality constraints in CNF Lecture Notes in Computer Science	2014-09-26	Paper
Aggregating Interval Orders by Propositional Optimization Algorithmic Decision Theory	2009-11-17	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2009-07-24	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2009-07-24	Paper
scientific article; zbMATH DE number 5139037 (Why is no real title available?)	2007-03-30	Paper
Weakening conflicting information for iterated revision and knowledge integration Artificial Intelligence	2006-02-07	Paper
Qualitative choice logic Artificial Intelligence	2006-02-07	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-16	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-16	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-15	Paper
Exploiting the real power of unit propagation lookahead	2001-09-24	Paper
scientific article; zbMATH DE number 1340008 (Why is no real title available?)	1999-09-22	Paper

Research outcomes over time

This page was built for person: Daniel Le Berre