“…The primary method to obtain lower bounds on resolution space is based on width, and the general bound was shown in the fundamental paper by Atserias and Dalmau [5]. Since then the relations between size, width and space have been intensely investigated, resulting in particular in sharp trade-off results [11,8,12,50,51,9]. Independently, in [44,47,48] the concept of "hardness" has been introduced, with an algorithmic focus (as shown in [44], equivalent to tree resolution space; one can also say "tree-hardness"), together with a generalised form of width, which we call "asymmetric width" in this paper.…”