Results 171 to 180 of about 42,931 (182)

X-SAT: An Efficient Circuit-Based SAT Solver

2025 62nd ACM/IEEE Design Automation Conference (DAC)
Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai   +3 more
openaire   +1 more source

QMaxSAT: A Partial Max-SAT Solver

Journal of Satisfiability, Boolean Modeling and Computation, 2012
Miyuki Koshimura
exaly  

Integrating a SAT Solver with an LCF-style Theorem Prover

Electronic Notes in Theoretical Computer Science, 2006
exaly  

The Configurable SAT Solver Challenge (CSSC)

Artificial Intelligence, 2017
Marius Lindauer, Kevin Leyton-Brown
exaly  

Hardware-Accelerated SAT Solvers

openaire   +1 more source

ManySAT: a Parallel SAT Solver

Journal of Satisfiability, Boolean Modeling and Computation, 2010
exaly  

Accelerating an FPGA‐Based SAT Solver by Software and Hardware Co‐design

Chinese Journal of Electronics, 2019
exaly  

Coverage-Driven Design Verification Using a Diverse SAT Solver

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2017
exaly  

Implementing an Efficient SAT Solver for Structured Instances

2019
exaly  

Hybrid DPLL-Style SAT Solver

2007
openaire   +1 more source