Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere. Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 4884-4888, ijcai.org, 2017. [doi]

This author has not been identified. Look up 'Benjamin Kiesl' in GoogleThis author has not been identified. It may be one of the following persons:

Martina Seidl

Look up 'Martina Seidl' in GoogleThis author has not been identified. Look up 'Hans Tompits' in GoogleThis author has not been identified. Look up 'Armin Biere' in Google

runs on WebDSL