Inproceedings,

Coupling Different Integer Encodings for SAT.

, , , , and .
CPAIOR, volume 13292 of Lecture Notes in Computer Science, page 44-63. Springer, (2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews