| Publication | Date of Publication | Type |
|---|
Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells
Annals of Mathematics and Artificial Intelligence | 2023-11-02 | Paper |
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
Theoretical Computer Science | 2023-08-18 | Paper |
| Minimal trap spaces of logical models are maximal siphons of their Petri net encoding | 2023-01-18 | Paper |
| scientific article; zbMATH DE number 7453124 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453124 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
Local and global symmetry breaking in itemset mining
Annals of Mathematics and Artificial Intelligence | 2017-08-15 | Paper |
Dynamic and static symmetry breaking in answer set programming
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Dealing with satisfiability and \(n\)-ary CSPs in a logical framework
Journal of Automated Reasoning | 2012-07-31 | Paper |
A Boolean Encoding Including SAT and n-ary CSPs
Artificial Intelligence: Methodology, Systems, and Applications | 2008-11-27 | Paper |
Reasoning by Dominance in Not-Equals Binary Constraint Networks
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Local Symmetry Breaking During Search in CSPs
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Scatter search and genetic algorithms for MAX-SAT problems
JMMA. Journal of Mathematical Modelling and Algorithms | 2008-06-11 | Paper |
Predicting and detecting symmetries in FOL finite model search
Journal of Automated Reasoning | 2007-01-30 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2177624 (Why is no real title available?) | 2005-06-21 | Paper |
| scientific article; zbMATH DE number 2090302 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1696808 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1614704 (Why is no real title available?) | 2001-07-05 | Paper |
| scientific article; zbMATH DE number 1414299 (Why is no real title available?) | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1389646 (Why is no real title available?) | 2000-01-17 | Paper |
| scientific article; zbMATH DE number 1348469 (Why is no real title available?) | 1999-10-10 | Paper |
| scientific article; zbMATH DE number 1222426 (Why is no real title available?) | 1998-11-11 | Paper |
Tractability through symmetries in propositional calculus
Journal of Automated Reasoning | 1994-08-31 | Paper |
