Eén, N., & Sörensson, N. (2003). An extensible SAT-solver. SAT 2003.

GPTKB entity

Statements (10)