Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

K. Subramani, Piotr J. Wojciechowski. Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2020, Fort Lauderdale, Florida, USA, January 6-8, 2020. 2020. [doi]

This author has not been identified. Look up 'K. Subramani' in GoogleThis author has not been identified. Look up 'Piotr J. Wojciechowski' in Google

runs on WebDSL