Symmetry in Gardens of Eden
From MaRDI portal
Publication:396822
zbMath1295.68164MaRDI QIDQ396822
Alain Noels, Kees Kwekkeboom, Marijn J. H. Heule, Christiaan Hartman
Publication date: 14 August 2014
Published in: The Electronic Journal of Combinatorics (Search for Journal in Brave)
Full work available at URL: http://www.combinatorics.org/ojs/index.php/eljc/article/view/v20i3p16
Related Items (2)
Computer-aided proof of Erdős discrepancy properties ⋮ The reversibility problem for a family of two-dimensional cellular automata
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the power of clause-learning SAT solvers as resolution engines
- Constraint programming and hybrid formulations for three life designs
- Abstraction-Based Algorithm for 2QBF
- SAT-Based Model Checking without Unrolling
- Blocked Clause Elimination
- Integrating Dependency Schemes in Search-Based QBF Solvers
- Blocked Clause Elimination for QBF
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
This page was built for publication: Symmetry in Gardens of Eden