Long title
The other SAT-Solver: Applying lexicons to SweSAT word questions
Authors
Zechner, Niklas
Publication year
2022
Source
Live and Learn – Festschrift in honor of Lars Borin / editors: Elena Volodina, Dana Dannélls, Aleksandrs Berdicevskis, Markus Forsberg, Shafqat Virk
Identifier
978-91-87850-83-7