Professor Matthew Hague

  1. Data and source code for SatCSS

    Hague, M. (Creator), Lin, A. (Creator), Hong, C. (Creator), Royal Holloway, University of London, 5 Dec 2018

    Dataset

  2. OSTRICH: String Constraint Solver

    Hague, M. (Creator), Ruemmer, P. (Creator), Royal Holloway, University of London, 2018

    Dataset