Cited By
View all- de Rezende SLauria MNordström JSokolov D(2021)The power of negative reasoningProceedings of the 36th Computational Complexity Conference10.4230/LIPIcs.CCC.2021.40Online publication date: 20-Jul-2021
- de Rezende S(2021)Automating Tree-Like Resolution in Time n(log ) Is ETH-HardProcedia Computer Science10.1016/j.procs.2021.11.021195:C(152-162)Online publication date: 1-Jan-2021