SAT-Based Horn Least Upper Bounds - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos Mencía, Alessandro Previti, Joao Marques-Silva. SAT-Based Horn Least Upper Bounds. In Marijn Heule, Sean Weaver, editors, Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings. Volume 9340 of Lecture Notes in Computer Science, pages 423-433, Springer, 2015. [doi]

This author has not been identified. Look up 'Carlos Mencía' in GoogleThis author has not been identified. Look up 'Alessandro Previti' in GoogleThis author has not been identified. Look up 'Joao Marques-Silva' in Google

runs on WebDSL