@article{GaspersSzeider26,
 author = {Serge Gaspers and
Stefan Szeider},
 doi = {10.1016/J.COSREV.2025.100868},
 journal = {Computer Science Review},
 keywords = {asksat},
 pages = {100868},
 title = {Backdoors to Satisfaction Continued},
 url = {https://doi.org/10.1016/j.cosrev.2025.100868},
 volume = {60},
 year = {2026}
}