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

SRIP: A SAT-based System for Independent Set Reconfiguration

  1. Takehide Soh(Nagoya University, Nagoya, Japan)
  2. Akifumi Kuwahara(Kobe University, Kobe, Japan)
  3. Mutsunori Banbara(Nagoya University, Nagoya, Japan)
  4. Naoyuki Tamura(Kobe University, Kobe, Japan)
  5. Yasuaki Kobayashi(Hokkaido University, Sapporo, Japan)
  6. Yuta Nozaki(Hokkaido University, Sapporo, Japan, SKCM2, Hiroshima University, Hiroshima, Japan)
  7. Takehiro Ito(Tohoku University, Sendai, Japan)

Bibtex record

@inproceedings{KR2026-72,
    title     = {{SRIP: A SAT-based System for Independent Set Reconfiguration}},
    author    = {Soh, Takehide and Kuwahara, Akifumi and Banbara, Mutsunori and Tamura, Naoyuki and Kobayashi, Yasuaki and Nozaki, Yuta and Ito, Takehiro},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {764--774},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/72},
    url       = {https://doi.org/10.24963/kr.2026/72},
  }
Go back