Efficient Incremental #SAT via Cross-Instance Knowledge Reuse

Uriya Bartal; Dror Fried; Jean-Marie Lagniez

doi:10.24963/kr.2026/13

KR2026

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

Lisbon, Portugal. July 20-23, 2026.

Edited by

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

Efficient Incremental #SAT via Cross-Instance Knowledge Reuse

Uriya Bartal(The Open University of Israel)
Dror Fried(The Open University of Israel)
Jean-Marie Lagniez(CRIL)

Bibtex record

@inproceedings{KR2026-13,
    title     = {{Efficient Incremental #SAT via Cross-Instance Knowledge Reuse}},
    author    = {Bartal, Uriya and Fried, Dror and Lagniez, Jean-Marie},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {134--144},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/13},
    url       = {https://doi.org/10.24963/kr.2026/13},
  }

Go back