SAT Encodings of the At-Most-k Constraint

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30446-1_7 ◽

2019 ◽

pp. 127-144 ◽

Cited By ~ 2

Author(s):

Paul Maximilian Bittner ◽

Thomas Thüm ◽

Ina Schaefer

Download Full-text