Articles with public access mandates - Hadi KatebiLearn more
Available somewhere: 1
Empirical study of the anatomy of modern SAT solvers
H Katebi, KA Sakallah, JP Marques-Silva
International conference on theory and applications of satisfiability …, 2011
Mandates: Science Foundation Ireland
Publication and funding information is determined automatically by a computer program