Results 291 to 300 of about 3,379,264 (310)
Some of the next articles are maybe not open access.
MiniMaxSat: A New Weighted Max-SAT Solver
International Conference on Theory and Applications of Satisfiability Testing, 2007F. Heras, J. Larrosa, Albert Oliveras
semanticscholar +1 more source
3-SAT on CUDA: Towards a massively parallel SAT solver
International Symposium on High Performance Computing Systems and Applications, 2010Quirin Meyer +3 more
semanticscholar +1 more source
A semidefinite program solver for the conformal bootstrap
Journal of High Energy Physics, 2015David Simmons-Duffin
exaly
Gerris: a tree-based adaptive solver for the incompressible Euler equations in complex geometries
Journal of Computational Physics, 2003Stéphane Popinet
exaly
Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques
International Conference on Theory and Applications of Satisfiability Testing, 2009Jingchao Chen
semanticscholar +1 more source
A circuit SAT solver with signal correlation guided learning
2003 Design, Automation and Test in Europe Conference and Exhibition, 2003Feng Lu +3 more
semanticscholar +1 more source
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
A variational eigenvalue solver on a photonic quantum processor
Nature Communications, 2014Alberto Peruzzo +2 more
exaly