Robert Ganian, Stefan Szeider. New width parameters for SAT and #SAT. Artificial Intelligence, 295:103460, 2021. [doi]
@article{GanianS21, title = {New width parameters for SAT and #SAT}, author = {Robert Ganian and Stefan Szeider}, year = {2021}, doi = {10.1016/j.artint.2021.103460}, url = {https://doi.org/10.1016/j.artint.2021.103460}, researchr = {https://researchr.org/publication/GanianS21}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {295}, pages = {103460}, }