Results 291 to 298 of about 246,520 (298)
Some of the next articles are maybe not open access.

3-SAT on CUDA: Towards a Massively Parallel SAT Solver

2010
Marc Stamminger, Rolf Wanka
exaly  

BerkMin: A Fast and Robust SAT-Solver

2002
exaly  

Overview of Sequential and Parallel SAT Solvers

2014
exaly  

An Adaptive SAT Solver

2016
Audemard, Gilles   +3 more
openaire   +1 more source

On the Impact of SAT Solvers on Argumentation Solvers.

Serigne Gning, Jean-Guy Mailly
openaire   +1 more source

Kaoru SAT Solvers

openaire   +1 more source

A SAT Solver Primer.

Bull. EATCS, 2005
openaire   +1 more source

Anti-SAT solver

openaire   +1 more source
sat
mathematics
logic in computer science
artificial intelligence
fos: computer and information sciences
satisfiability
004
boolean satisfiability
medicine
previous   28  29  30  

Home - About - Disclaimer - Privacy