High-Throughput SAT Sampling

In this work, we present a novel technique for GPU-accelerated Boolean satisfiability (SAT) sampling. Unlike conventional sampling algorithms that directly operate on conjunctive normal form (CNF), our method transforms the logical constraints of SAT problems by factoring their CNF representations i...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings - Design, Automation, and Test in Europe Conference and Exhibition s. 1 - 7
Hlavní autoři:	Ardakani, Arash, Kang, Minwoo, He, Kevin, Huang, Qijing, Wawrzynek, John
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	EDAA 31.03.2025
Témata:	Benchmark testing Boolean functions Boolean Satisfiability Distance measurement Gradient Descent Logic Multi-level Circuits Optimization Performance gain Runtime Sampling methods Tensors Testing Transforms Verification
ISSN:	1558-1101
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!