Amanote Research
Register
Sign In
Automating Resolution Is NP-Hard
doi 10.1109/focs.2019.00038
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2019
Authors
Albert Atserias
Moritz Muller
Publisher
IEEE