Dr Oliver Kullmann
Associate Professor
Computer Science
Telephone: (01792) 513369
Email: JavaScript is required to view this email address.

Publications

  1. & (2017). Solving very hard problems: Cube-and-Conquer, a hybrid SAT solving method. Presented at 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),, 4864-4868. Melbourne, Australia: International Joint Conference on Artificial Intelligence (IJCAI).
  2. New methods for 3-SAT decision and worst-case analysis. Theoretical Computer Science 223(1-2), 1-72.
  3. & Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. In Nadia Creignou and Daniel Le Berre (Ed.), Theory and Applications of Satisfiability Testing – SAT 2016. (pp. 228-245). Springer.
  4. & The science of brute force. Communications of the ACM 60(8), 70-79.
  5. & On the van der Waerden numbers. Discrete Applied Mathematics 174, 27-51.

See more...

Teaching

  • CS-270 Algorithms

    This module introduces students to the formal concepts of algorithms and data structures and will enable them to understand how the selection of different algorithms and data types affects the performance and efficiency of a program. Particular attention will be paid to the fundamental problems of searching, sorting, and graph traversal.

  • CS-700 Logic and Computation Project

    The research project will provide students with the opportunity of exploring a particular topic in computer science in some considerable depth. The project may involve the development of a software system in which case the student will experience the major phases of the life-cycle of a practical IT-project: Specification, design, implementation, testing, verification and validation. The project will enhance the students' competence in algorithm or system analysis, as well as informal and formal mathematical reasoning. It will give students an intellectual challenge to their abilities to learn new subjects without instruction and to further develop their abilities in literature researching, report writing, verbal presentation, project planning and time management.

  • CS-M05 Advanced Topics in logic and computation

    This module provides a broad overview of current research. Students will write reports and give talks on general research topics in theoretical computer science.

  • CS-M41 Programming in Java

    This intensive course provides a solid introduction to the Java programming language and development process.

  • CSCM41 Programming in Java

    This intensive course provides a solid introduction to the Java programming language and development process.

Supervision

  • The combinatorics of minimal unsatisfiability (current)

    Student name:
    PhD
    Other supervisor: Prof Arnold Beckmann