Results 241 to 250 of about 1,116 (265)

Overview and analysis of the SAT Challenge 2012 solver competition

Artificial Intelligence, 2015
Adrian Balint, Anton Belov, Matti Järvisalo   +2 more
exaly  

CirSAT: An Efficient Circuit-based SAT Solver via Fanout-driven Decision Heuristic

2023
Zhufei Chu
exaly  

Extended Finite-State Machine Induction using SAT-Solver

IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 2012
Vladimir Ulyantsev
exaly  

Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL

Theoretical Computer Science, 2010
Filip Maric
exaly  

Experimenting with SAT Solvers in Vampire.

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

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