Finding Lean Induced Cycles in Binary Hypercubes

DOI10.1007/978-3-642-02777-2_4MaRDI QIDQ3637155zbMATH OpenOpenAlexFDO

Authors Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller

Publication date 7 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02777-2_4

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Towards a classification of Hamiltonian cycles in the 6-cube
• SAT-based algorithm for finding cycles in a Boolean network
• An algorithm for a problem of the largest induced cycles in Q^n
• scientific article; zbMATH DE number 790411
• Classification of the Hamiltonian cycles in binary hypercubes

Cites work

• A heuristic approach for constructing symmetric Gray codes
• A Survey of Combinatorial Gray Codes
• An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors
• Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers
• Generalized Snake-in-the-Box Codes
• Generation of oriented matroids using satisfiability solvers
• scientific article; zbMATH DE number 1950545 (Why is no real title available?)
• scientific article; zbMATH DE number 2176112 (Why is no real title available?)
• scientific article; zbMATH DE number 975419 (Why is no real title available?)
• Periodic Orbits and Equilibria in Glass Models for Gene Regulatory Networks
• SAT-solving the coverability problem for Petri nets
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Towards a classification of Hamiltonian cycles in the 6-cube

Describes a project that uses

Uses Software

• MiniSat

This page was built for publication: Finding Lean Induced Cycles in Binary Hypercubes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637155)