Search Results - Gaspers, Serge

  • Showing 1 – 3 results of 3
Filter by
  1. 1
    Cover Image

    Theory and applications of satisfiability testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings

    Published 2017
    Other Authors: “…Gaspers, Serge…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  2. 2
    Cover Image

    SOFSEM 2024: theory and practice of computer science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, proceedings

    Published 2024
    Other Authors: “…Gaspers, Serge…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  3. 3
    Cover Image

    Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings

    Published 2017
    Other Authors: “…Gaspers, Serge…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:

Search Tools: