Backdoors to Satisfaction Continued

Gaspers, Serge; Szeider, Stefan

doi:10.1016/J.COSREV.2025.100868

by Serge Gaspers, Stefan Szeider

View PDF

Reference:

Backdoors to Satisfaction ContinuedSerge Gaspers, Stefan SzeiderComputer Science Review, volume 60, pages 100868, 2026.

Bibtex Entry:

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