Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tomas Balyo, Andreas Fröhlich, Marijn Heule, Armin Biere. Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). In Carsten Sinz, Uwe Egly, editors, Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Volume 8561 of Lecture Notes in Computer Science, pages 317-332, Springer, 2014. [doi]

This author has not been identified. Look up 'Tomas Balyo' in GoogleThis author has not been identified. Look up 'Andreas Fröhlich' in GoogleThis author has not been identified. Look up 'Marijn Heule' in GoogleThis author has not been identified. Look up 'Armin Biere' in Google

runs on WebDSL