Results 331 to 340 of about 3,677,634 (349)

Experimenting with SAT Solvers in Vampire.

2014
Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov   +3 more
openaire   +2 more sources

MiniMaxSat: A New Weighted Max-SAT Solver

International Conference on Theory and Applications of Satisfiability Testing, 2007
F. Heras, J. Larrosa, Albert Oliveras
semanticscholar   +1 more source

A FPGA Based SAT Solver with High Random and Concurrent Strategies

2018
Jinzhao Wu
exaly  

A Framework of SAT Solver Based on the ZYNQ

2021
exaly  

Integrating a SAT Solver with an LCF-style Theorem Prover

Electronic Notes in Theoretical Computer Science, 2006
exaly  

Coverage-Driven Design Verification Using a Diverse SAT Solver

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

Massive Parallel Max-SAT Solver Based on Speculative Computation

2019
Yasuki Iizuka
exaly  

A FPGA based SAT solver with random variable selection

2016
Juxia Xiong
exaly  

BaW 1.0 - A Problem Specific SAT Solver for Effective Strong Connectivity Testing in Sparse Directed Graphs

2018
Csaba Biró, Gabor Kusper
exaly  

An improved all-solution SAT solver

2008
exaly