Problem / SAT

Loading [Contrib]/a11y/accessibility-menu.js

Index
Problem list
- SAT
References
TODO list

SAT (Bibtex)

Boolean CSP

205

Maintained by Kunihiro Wasa (kunihiro.wasa[at]gmail.com) and Kazuhiro Kurita (k-kurita[at]ist.hokudai.ac.jp)

Keywords: enumeration, listing, counting, polynomial delay algorithm, constant delay algorithm, constant amortized time (CAT) algorithm, incremental polynomial, output polynomial, exponential algorithm, graph, hypergraph, string, geometry, reverse search, best $k$ solutions