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

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

অন্যান্য সংস্করণ প্রদর্শন করুন (1)

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Zinovik, I, Kroening, D, Chebiryak, Y
বিন্যাস:	Journal article
প্রকাশিত:	2015

অনুরূপ উপাদানগুলি

Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers.
অনুযায়ী: Zinovik, I, অন্যান্য
প্রকাশিত: (2008)

An efficient SAT encoding of circuit codes
অনুযায়ী: Chebiryak, Y, অন্যান্য
প্রকাশিত: (2008)

Periodic orbits and equilibria in glass models for gene regulatory networks.
অনুযায়ী: Zinovik, I, অন্যান্য
প্রকাশিত: (2010)

An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits along Cyclic Attractors
অনুযায়ী: Zinovik, I, অন্যান্য
প্রকাশিত: (2007)

Efficient digital quadratic unconstrained binary optimization solvers for SAT problems
অনুযায়ী: Robert Simon Fong, অন্যান্য
প্রকাশিত: (2025-01-01)

FYalSAT: High-Throughput Stochastic Local Search K-SAT Solver on FPGA
অনুযায়ী: Young-Kyu Choi, অন্যান্য
প্রকাশিত: (2024-01-01)

Finding Lean Induced Cycles in Binary Hypercubes
অনুযায়ী: Chebiryak, Y, অন্যান্য
প্রকাশিত: (2009)

MRHS solver based on linear algebra and exhaustive search
অনুযায়ী: Raddum Håvard, অন্যান্য
প্রকাশিত: (2018-09-01)

Local Consistency and SAT−Solvers
অনুযায়ী: Jeavons, P, অন্যান্য
প্রকাশিত: (2012)

Local Consistency and SAT-Solvers
অনুযায়ী: Petke, J, অন্যান্য
প্রকাশিত: (2010)

Local consistency and SAT−solvers
অনুযায়ী: Jeavons, P, অন্যান্য
প্রকাশিত: (2010)

Local consistency and SAT−solvers
অনুযায়ী: Jeavons, P, অন্যান্য
প্রকাশিত: (2012)

Local Consistency and SAT-Solvers
অনুযায়ী: Jeavons, P, অন্যান্য
প্রকাশিত: (2012)

AvatarSAT: An Auto-tuning Boolean SAT Solver
অনুযায়ী: Ganesh, Vijay, অন্যান্য
প্রকাশিত: (2009)

Building a puzzle games solver using SAT solver
অনুযায়ী: Nguyen Hung, Thai
প্রকাশিত: (2017)

PSolver : a distributed SAT solver framework
অনুযায়ী: Kokotov, Daniel (Daniel L.), 1978-
প্রকাশিত: (2014)

A new approach to parallel SAT solvers
অনুযায়ী: Nelson, Max (Max M.)
প্রকাশিত: (2014)

Logic for fun : solving puzzles with SAT solvers
অনুযায়ী: Foo, Zhong Xian
প্রকাশিত: (2016)

Factoring semi-primes with (quantum) SAT-solvers
অনুযায়ী: Michele Mosca, অন্যান্য
প্রকাশিত: (2022-05-01)

Efficiency analysis of SAT solvers in logic locking applications
অনুযায়ী: Liu, Zhiyuan
প্রকাশিত: (2024)

Relieving capacity limits on FPGA−based SAT−solvers
অনুযায়ী: Haller, L, অন্যান্য
প্রকাশিত: (2010)

A SAT Solver for Circuits Based on the Tableau Method
অনুযায়ী: Egly, U, অন্যান্য
প্রকাশিত: (2010)

Towards a Classification of Hamiltonian Cycles in the 6-Cube.
অনুযায়ী: Chebiryak, Y, অন্যান্য
প্রকাশিত: (2008)

Lynx: A Programmatic SAT Solver for the RNA-folding Problem
অনুযায়ী: Ganesh, Vijay, অন্যান্য
প্রকাশিত: (2012)

A Flexible Proof Format for SAT Solver-Elaborator Communication
অনুযায়ী: Seulkee Baek, অন্যান্য
প্রকাশিত: (2022-04-01)

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
অনুযায়ী: Wenjing Chang, অন্যান্য
প্রকাশিত: (2019-02-01)

Using SAT Solvers to Finding Short Cycles in Cryptographic Algorithms
অনুযায়ী: Władysław Dudzic, অন্যান্য
প্রকাশিত: (2020-09-01)

A novel SAT solver for the Van der Waerden numbers
অনুযায়ী: Munira A. Abd El-Maksoud, অন্যান্য
প্রকাশিত: (2019-07-01)

Engineering a Combinatorial Laplacian Solver: Lessons Learned
অনুযায়ী: Daniel Hoske, অন্যান্য
প্রকাশিত: (2016-10-01)

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
অনুযায়ী: Konstantin Chukharev, অন্যান্য
প্রকাশিত: (2022-01-01)

Boosting the Performance of CDCL-Based SAT Solvers by Exploiting Backbones and Backdoors
অনুযায়ী: Tasniem Al-Yahya, অন্যান্য
প্রকাশিত: (2022-08-01)

An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle
অনুযায়ী: Tomohiro Sonobe
প্রকাশিত: (2022-12-01)

Model Abstraction for Discrete-Event Systems Using a SAT Solver
অনুযায়ী: Lihong Cheng, অন্যান্য
প্রকাশিত: (2023-01-01)

Error metrics determination in functionally approximated circuits using SAT solvers.
অনুযায়ী: Sa'ed Abed, অন্যান্য
প্রকাশিত: (2020-01-01)

A continuous-time MaxSAT solver with high analog performance
অনুযায়ী: Botond Molnár, অন্যান্য
প্রকাশিত: (2018-11-01)

3SAT on an all-to-all-connected CMOS Ising solver chip
অনুযায়ী: Hüsrev Cılasun, অন্যান্য
প্রকাশিত: (2024-05-01)

Quaternary gray-code phase unwrapping for binary fringe projection profilometry
অনুযায়ী: He, Xiaoyu, অন্যান্য
প্রকাশিত: (2021)

A Binary Cuckoo Search for Combinatorial Optimization in Multiyear Pavement Maintenance Programs
অনুযায়ী: Feng Xiao, অন্যান্য
প্রকাশিত: (2020-01-01)

Converse and duality results for combinatorial source-channel coding in binary Hamming spaces
অনুযায়ী: Young, Andrew J., অন্যান্য
প্রকাশিত: (2016)

On the Use of Gray Codes for Solving 0-1 Combinatorial Problems of Optimization in Environmental and Economic Systems
অনুযায়ী: Oleksandr Trofymchuk, অন্যান্য
প্রকাশিত: (2022-12-01)