Fullständig titel
The other SAT-Solver: Applying lexicons to SweSAT word questions
Författare
Zechner, Niklas
Publiceringsår
2022
Källa
Live and Learn – Festschrift in honor of Lars Borin / editors: Elena Volodina, Dana Dannélls, Aleksandrs Berdicevskis, Markus Forsberg, Shafqat Virk
Identifierare
978-91-87850-83-7