Symmetry in Gardens of Eden

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

zbMATH Keywords

symmetryQBFgame of lifeincremental SAT

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

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