SAT-Based Invariant Inference and Its Relation to Concept Learning

Yotam M.Y. Feldman, Sharon Shoham*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


This paper surveys results that establish formal connections and distinctions between SAT-based invariant inference and exact concept learning with queries, showing that learning techniques and algorithms can clarify foundational questions, illuminate existing algorithms, and suggest new directions for efficient invariant inference.

Original languageEnglish
Title of host publicationReachability Problems - 16th International Conference, RP 2022, Proceedings
EditorsAnthony W. Lin, Anthony W. Lin, Georg Zetzsche, Igor Potapov
PublisherSpringer Science and Business Media Deutschland GmbH
Number of pages25
ISBN (Print)9783031191343
StatePublished - 2022
Event16th International Conference on Reachability Problems, RP 2022 - Kaiserslautern, Germany
Duration: 17 Oct 202221 Oct 2022

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13608 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference16th International Conference on Reachability Problems, RP 2022


FundersFunder number
Horizon 2020 Framework Programme759102-SVIS
European Research Council
United States-Israel Binational Science Foundation2016260
Israel Science Foundation1810/18


    Dive into the research topics of 'SAT-Based Invariant Inference and Its Relation to Concept Learning'. Together they form a unique fingerprint.

    Cite this