@article{GanianSzeider21,
 author = {Ganian, Robert and Szeider, Stefan},
 doi = {10.1016/j.artint.2021.103460},
 journal = {Artificial Intelligence},
 keywords = {ParAI, nfpc, reveal},
 pages = {103460},
 title = {New Width Parameters for {SAT} and {Sharp}-{SAT}},
 url = {https://doi.org/10.1016/j.artint.2021.103460},
 volume = {295},
 year = {2021}
}