Accelerating a continuous-time analog SAT solver using GPUs
Ferenc Molnár, Shubha R. Kharel, Xiaobo Sharon Hu, Zoltán Toroczkai
Topics & Concepts
SolverBoolean satisfiability problemComputer scienceConstraint satisfaction problemParallel computingGraphicsRange (aeronautics)ImplementationConstraint satisfactionSatisfiabilityTheoretical computer scienceProgramming languageArtificial intelligenceProbabilistic logicComposite materialComputer graphics (images)Materials scienceConstraint Satisfaction and OptimizationBayesian Modeling and Causal InferenceFormal Methods in Verification