researchr - search publication SAT solver

researchr

You are not signed in
Sign in
Sign up

1004 publication results matching 'SAT solver'

An Extensible SAT-solverNiklas Eén, Niklas Sörensson. sat 2004: 502-518 [doi]
LearnSAT: A SAT Solver for EducationMordechai Ben-Ari. sat 2013: 403-407 [doi]
SAT Solving with Reference PointsStephan Kottler. sat 2010: 143-157 [doi]
Tuning Parallel SAT SolversThorsten Ehlers, Dirk Nowotka. sat 2019: 127-143 [doi]
Zchaff2004: An Efficient SAT SolverYogesh S. Mahajan, Zhaohui Fu, Sharad Malik. sat 2005: 360-375 [doi]
Incremental Inprocessing in SAT SolvingKatalin Fazekas, Armin Biere, Christoph Scholl. sat 2019: 136-154 [doi]
A Preprocessor for Max-SAT SolversJosep Argelich, Chu Min Li, Felip Manyà. sat 2008: 15-20 [doi]
Scalable SAT Solving in the CloudDominik Schreiber, Peter Sanders 0001. sat 2021: 518-534 [doi]
Attacking Bivium Using SAT SolversTobias Eibach, Enrico Pilz, Gunnar Völkel. sat 2008: 63-76 [doi]
Statistical Methodology for Comparison of SAT SolversMladen Nikolic. sat 2010: 209-222 [doi]
Designing Scalable Parallel SAT SolversAntti Eero Johannes Hyvärinen, Norbert Manthey. sat 2012: 214-227 [doi]
Efficient SAT Solving under AssumptionsAlexander Nadel, Vadim Ryvchin. sat 2012: 242-255 [doi]
Introducing Intel(R) SAT SolverAlexander Nadel. sat 2022: [doi]
Extending SAT Solvers to Cryptographic ProblemsMate Soos, Karsten Nohl, Claude Castelluccia. sat 2009: 244-257 [doi]
Modern Cooperative Parallel SAT SolvingNorbert Manthey, Davide Lanti, Ahmed Irfan. sat 2014: 41-54 [doi]
A Clause-Based Heuristic for SAT SolversNachum Dershowitz, Ziyad Hanna, Alexander Nadel. sat 2005: 46-60 [doi]
On Tackling the Limits of Resolution in SAT SolvingAlexey Ignatiev, António Morgado, Joao Marques-Silva. sat 2017: 164-183 [doi]
Online Estimation of SAT Solving RuntimeShai Haim, Toby Walsh. sat 2008: 133-138 [doi]
Reproducible Efficient Parallel SAT SolvingHidetomo Nabeshima, Katsumi Inoue. sat 2020: 123-138 [doi]
PaInleSS: A Framework for Parallel SAT SolvingLudovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon. sat 2017: 233-250 [doi]

Sign in or sign up to see more results.

runs on WebDSL