Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers

Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers

Show other versions (1)

Bibliographic Details
Main Authors:	Zinovik, I, Kroening, D, Chebiryak, Y
Format:	Journal article
Published:	2015

Similar Items

Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers.
by: Zinovik, I, et al.
Published: (2008)

An efficient SAT encoding of circuit codes
by: Chebiryak, Y, et al.
Published: (2008)

Periodic orbits and equilibria in glass models for gene regulatory networks.
by: Zinovik, I, et al.
Published: (2010)

An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits along Cyclic Attractors
by: Zinovik, I, et al.
Published: (2007)

Local Consistency and SAT−Solvers
by: Jeavons, P, et al.
Published: (2012)

Local Consistency and SAT-Solvers
by: Petke, J, et al.
Published: (2010)

Local consistency and SAT−solvers
by: Jeavons, P, et al.
Published: (2010)

Local consistency and SAT−solvers
by: Jeavons, P, et al.
Published: (2012)

Local Consistency and SAT-Solvers
by: Jeavons, P, et al.
Published: (2012)

AvatarSAT: An Auto-tuning Boolean SAT Solver
by: Ganesh, Vijay, et al.
Published: (2009)

Building a puzzle games solver using SAT solver
by: Nguyen Hung, Thai
Published: (2017)

PSolver : a distributed SAT solver framework
by: Kokotov, Daniel (Daniel L.), 1978-
Published: (2014)

A new approach to parallel SAT solvers
by: Nelson, Max (Max M.)
Published: (2014)

Logic for fun : solving puzzles with SAT solvers
by: Foo, Zhong Xian
Published: (2016)

Finding Lean Induced Cycles in Binary Hypercubes
by: Chebiryak, Y, et al.
Published: (2009)

Efficiency analysis of SAT solvers in logic locking applications
by: Liu, Zhiyuan
Published: (2024)

Relieving capacity limits on FPGA−based SAT−solvers
by: Haller, L, et al.
Published: (2010)

A SAT Solver for Circuits Based on the Tableau Method
by: Egly, U, et al.
Published: (2010)

Quaternary gray-code phase unwrapping for binary fringe projection profilometry
by: He, Xiaoyu, et al.
Published: (2021)

Lynx: A Programmatic SAT Solver for the RNA-folding Problem
by: Ganesh, Vijay, et al.
Published: (2012)

Comparison between ternary and binary Gray-code based phase unwrapping methods
by: Zheng, Dongliang, et al.
Published: (2018)

Converse and duality results for combinatorial source-channel coding in binary Hamming spaces
by: Young, Andrew J., et al.
Published: (2016)

ExpliSAT: Guiding SAT−Based Software Verification with Explicit States
by: Barner, S, et al.
Published: (2007)

Satisfiability Solvers are Static Analysers
by: D'Silva, V, et al.
Published: (2012)

Satisfiability solvers are static analysers
by: D'Silva, V, et al.
Published: (2012)

Towards a Classification of Hamiltonian Cycles in the 6-Cube.
by: Chebiryak, Y, et al.
Published: (2008)

Embedded code generation using the OSQP solver
by: Banjac, G, et al.
Published: (2018)

Authentification codes and combinatorial designs /
by: 183341 Pei, Dingyi
Published: (2006)

SAT−based Summarisation for Boolean Programs
by: Basler, G, et al.
Published: (2007)

Algebras for combinatorial search
by: Spivey, J
Published: (2009)

Revamping the current SCE-FYP allocation system using Pseudo-Boolean SAT solver and hungarian algorithm
by: Chia, Yong Sheng.
Published: (2013)

Can Q-learning with graph networks learn a generalizable branching heuristic for a SAT solver?
by: Kurin, V, et al.
Published: (2020)

Another perspective in generating and using gray code word
by: Ahmad, Anita
Published: (2007)

Finding graph decompositions via SAT
by: Zhao, W, et al.
Published: (2018)

Building and experimental pulse code modulation (PCM) transmitter with gray coding technique /
by: 400708 Keshvinder Singh Randhava
Published: (2000)

Combinatorial joint source-channel coding
by: Young, Andrew John, S.M. Massachusetts Institute of Technology
Published: (2015)

Code-aware combinatorial interaction testing
by: Ahmed, Bestoun S., et al.
Published: (2019)

An introduction to algebraic and combinatorial coding theory /
by: 461024 Blake, Ian F., et al.
Published: (1976)

Simple Gray coding and LLR calculation for MDS modulation systems
by: Yarkin, F, et al.
Published: (2022)

Automatic generation of propagation complete SAT encodings
by: Brain, M, et al.
Published: (2015)