Local Consistency and SAT−Solvers

Local Consistency and SAT−Solvers

Show other versions (4)

Bibliographic Details
Main Authors:	Jeavons, P, Petke, J
Format:	Journal article
Published:	2012

Similar Items

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

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

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

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

The order encoding: From tractable CSP to tractable SAT
by: Petke, J, et al.
Published: (2011)

The order encoding: from tractable CSP to tractable SAT
by: Petke, J, et al.
Published: (2011)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
by: Petke, J, et al.
Published: (2011)

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)

Factoring semi-primes with (quantum) SAT-solvers
by: Michele Mosca, et al.
Published: (2022-05-01)

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)

An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers
by: Wenjing Chang, et al.
Published: (2019-02-01)

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

A Flexible Proof Format for SAT Solver-Elaborator Communication
by: Seulkee Baek, et al.
Published: (2022-04-01)

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

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
by: Wenjing Chang, et al.
Published: (2019-02-01)

Using SAT Solvers to Finding Short Cycles in Cryptographic Algorithms
by: Władysław Dudzic, et al.
Published: (2020-09-01)

A novel SAT solver for the Van der Waerden numbers
by: Munira A. Abd El-Maksoud, et al.
Published: (2019-07-01)

An Effective SAT Solver Utilizing ACO Based on Heterogenous Systems
by: Hassan Youness, et al.
Published: (2020-01-01)

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
by: Konstantin Chukharev, et al.
Published: (2022-01-01)

Using SAT Solvers to Reverse-Engineer FSM Models of Digital Devices
by: Danil Cherepkov, et al.
Published: (2023-11-01)

An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle
by: Tomohiro Sonobe
Published: (2022-12-01)

Boosting the Performance of CDCL-Based SAT Solvers by Exploiting Backbones and Backdoors
by: Tasniem Al-Yahya, et al.
Published: (2022-08-01)

Model Abstraction for Discrete-Event Systems Using a SAT Solver
by: Lihong Cheng, et al.
Published: (2023-01-01)

Error metrics determination in functionally approximated circuits using SAT solvers.
by: Sa'ed Abed, et al.
Published: (2020-01-01)

A continuous-time MaxSAT solver with high analog performance
by: Botond Molnár, et al.
Published: (2018-11-01)

Tractable Benchmarks For Constraint Programming
by: Petke, J, et al.
Published: (2009)

Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers
by: Zinovik, I, et al.
Published: (2015)

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

Optimal SAT Solver Synthesis of Quantum Circuits Representing Cryptographic Nonlinear Functions
by: Adam Jagielski
Published: (2023-05-01)

F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers
by: N. V. Shilov
Published: (2010-12-01)

Branching Heuristic Strategy Based on Learnt Clauses Deletion Strategy for SAT Solver
by: WANG Yi-jie, XU Yang, WU Guan-feng
Published: (2021-11-01)

FPGA-Based Hardware/Software Co-Design of a Bio-Inspired SAT Solver
by: Anh Hoang Ngoc Nguyen, et al.
Published: (2020-01-01)

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

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

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