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

Abstract

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
Pages3-27
Number of pages25
ISBN (Print)9783031191343
DOIs
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

Conference

Conference16th International Conference on Reachability Problems, RP 2022
Country/TerritoryGermany
CityKaiserslautern
Period17/10/2221/10/22

Fingerprint

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

Cite this