ENTITY
Cody Christopher PhD
Cody Christopher PhD
PulseAugur coverage of Cody Christopher PhD — every cluster mentioning Cody Christopher PhD across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New study explores parallel CLS for Boolean satisfiability problems
Researchers have explored parallel Continuous Local Search (CLS) as a method for solving Boolean satisfiability problems with symmetric pseudo-Boolean constraints. The study found that redundant constraints can hinder c…
-
New GPU solver AFSAT enhances pseudo-Boolean satisfiability
Researchers have developed Accelerated Fourier SAT (AFSAT), a new GPU-accelerated solver for pseudo-Boolean satisfiability problems. AFSAT builds upon a previous proof-of-concept, FastFourierSAT, by engineering a fully …