KR2026Proceedings of the 23rd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by
  1. Renata Wassermann
  2. Marie-Laure Mugnier
  3. Franz Baader

ISSN: 2334-1033
ISBN: 978-1-956792-18-8

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach

  1. Leif Eriksson(Linköping University)
  2. Victor Lagerkvist(Linköping University)
  3. Sebastian Ordyniak(University of Leeds)
  4. George Osipov(Linköping University, Royal Holloway)
  5. Fahad Panolan(University of Leeds)
  6. Mateusz Rychlicki(University of Leeds)

Bibtex record

@inproceedings{KR2026-28,
    title     = {{Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach}},
    author    = {Eriksson, Leif and Lagerkvist, Victor and Ordyniak, Sebastian and Osipov, George and Panolan, Fahad and Rychlicki, Mateusz},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {294--304},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/28},
    url       = {https://doi.org/10.24963/kr.2026/28},
  }
Go back