2023S

• Introduction to Logical Methods in Computer Science / 184.766 / VO

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

• Blocked Clauses in First-Order Logic / Kiesl, B., Suda, M., Seidl, M., Tompits, H., & Biere, A. (2017). Blocked Clauses in First-Order Logic. In LPAR-21: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. EasyChair. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3121

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

• The Hobel algorithm : SAT Lösung mit GPU über DPLL / Vaczula, C. (2016). The Hobel algorithm : SAT Lösung mit GPU über DPLL [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.35995