Results 161 to 170 of about 42,931 (182)
Some of the next articles are maybe not open access.
Overview and analysis of the SAT Challenge 2012 solver competition
Artificial Intelligence, 2015Adrian Balint +2 more
exaly
Accelerating a continuous-time analog SAT solver using GPUs
Computer Physics Communications, 2020Ferenc Molnar +2 more
exaly
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
Theoretical Computer Science, 2010Filip Marić
exaly
A Circuit-Level Amoeba-Inspired SAT Solver
IEEE Transactions on Circuits and Systems II: Express Briefs, 2020Naoki Takeuchi +2 more
exaly
Extended Finite-State Machine Induction using SAT-Solver
IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 2012Vladimir Ulyantsev
exaly
A comprehensive study and analysis on SAT-solvers: advances, usages and achievements
Artificial Intelligence Review, 2018Sahel Alouneh, Sa'ed Abed, Raed Y Mesleh
exaly
SAT Solver akcelerovaný pomocí GPU
This thesis is concerned with design and implementation of a complete SAT solver accelerated on GPU. The achitecture of modern graphics cards is described as well as the CUDA platform and a list of common algorithms used for solving the boolean satisfiability problem (the SAT problem).openaire +1 more source
Technical Foundations of a DPLL-Based SAT Solver for Propositional Gödel Logic
IEEE Transactions on Fuzzy Systems, 2018Dusan Guller
exaly