Institute of Formal Models and Verification

Organisation profile

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence
View all 10 projects

  • CaDiCaL 2.0

    Biere, A., Faller, T., Fazekas, Dr., K., Fleury, M., Froleyks, N. & Pollitt, F., Jul 2024, 36th International Conference on Computer-Aided Verification, CAV 2024. Gurfinkel, Arie andGanesh, Vijay (ed.). Springer Nature Switzerland, p. 133-152 20 p. (Lecture Notes in Computer Science,).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Certifying Phase Abstraction

    Froleyks, N., Yu, Z., Biere, A. & Heljanko, K., Jul 2024, Automated Reasoning, 12th International Joint Conference, IJCAR 2024. Ch. Benzmüller, M. J.H. Heule, R. A. Schmidt (ed.). Springer, Vol. 14739. p. 284–303 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

  • Clausal Congruence Closure

    Biere, A., Fazekas, Dr., K., Fleury, M. & Froleyks, N., Aug 2024, 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024). Chakraborty, S. & Jiang, J.-H. R. (eds.). Dagstuhl Publishing, p. 6:1-6:25 25 p. 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 305).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

View all 472 research outputs
View all 500 activities