EPSRC logo
Researcher Details
Name: Dr O Kullmann
Organisation: Swansea University
Department: College of Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/S015523/1 The next level of SAT solving for very hard problems(P)
Previous EPSRC Support
GR/S58393/01 An algorithmic platform for efficient satisfiability based problem solving(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator