Keyword:METIS

Papers
Scalable Hybrid Parallel ILU Preconditioner to Solve Sparse Linear Systems Raju Ram, Daniel Grünewald and Nicolas R Gauger EasyChair Preprint no. 6936
Metis-based Paramodulation Tactic for HOL Light Michael Färber and Cezary Kaliszyk In:GCAI 2015. Global Conference on Artificial Intelligence