SAT-Based Invariant Inference and Its Relation to Concept Learning

Yotam M.Y. Feldman; Sharon Shoham

doi:10.1007/978-3-031-19135-0_1

SAT-Based Invariant Inference and Its Relation to Concept Learning

Yotam M.Y. Feldman, Sharon Shoham^*

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Reachability Problems - 16th International Conference, RP 2022, Proceedings
Editors	Anthony W. Lin, Anthony W. Lin, Georg Zetzsche, Igor Potapov
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	3-27
Number of pages	25
ISBN (Print)	9783031191343
DOIs	https://doi.org/10.1007/978-3-031-19135-0_1
State	Published - 2022
Event	16th International Conference on Reachability Problems, RP 2022 - Kaiserslautern, Germany Duration: 17 Oct 2022 → 21 Oct 2022

Publication series

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

Conference

Conference	16th International Conference on Reachability Problems, RP 2022
Country/Territory	Germany
City	Kaiserslautern
Period	17/10/22 → 21/10/22

Access to Document

10.1007/978-3-031-19135-0_1

Cite this

Feldman, Y. M. Y., & Shoham, S. (2022). SAT-Based Invariant Inference and Its Relation to Concept Learning. In A. W. Lin, A. W. Lin, G. Zetzsche, & I. Potapov (Eds.), Reachability Problems - 16th International Conference, RP 2022, Proceedings (pp. 3-27). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13608 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-19135-0_1

Feldman, Yotam M.Y. ; Shoham, Sharon. / SAT-Based Invariant Inference and Its Relation to Concept Learning. Reachability Problems - 16th International Conference, RP 2022, Proceedings. editor / Anthony W. Lin ; Anthony W. Lin ; Georg Zetzsche ; Igor Potapov. Springer Science and Business Media Deutschland GmbH, 2022. pp. 3-27 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7d5fa1b19f184ccfa5c76687c39eb34b,

title = "SAT-Based Invariant Inference and Its Relation to Concept Learning",

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.",

author = "Feldman, {Yotam M.Y.} and Sharon Shoham",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; null ; Conference date: 17-10-2022 Through 21-10-2022",

year = "2022",

doi = "10.1007/978-3-031-19135-0_1",

language = "אנגלית",

isbn = "9783031191343",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "3--27",

editor = "Lin, {Anthony W.} and Lin, {Anthony W.} and Georg Zetzsche and Igor Potapov",

booktitle = "Reachability Problems - 16th International Conference, RP 2022, Proceedings",

address = "גרמניה",

}

Feldman, YMY & Shoham, S 2022, SAT-Based Invariant Inference and Its Relation to Concept Learning. in AW Lin, AW Lin, G Zetzsche & I Potapov (eds), Reachability Problems - 16th International Conference, RP 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13608 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 3-27, 16th International Conference on Reachability Problems, RP 2022, Kaiserslautern, Germany, 17/10/22. https://doi.org/10.1007/978-3-031-19135-0_1

SAT-Based Invariant Inference and Its Relation to Concept Learning. / Feldman, Yotam M.Y.; Shoham, Sharon.

Reachability Problems - 16th International Conference, RP 2022, Proceedings. ed. / Anthony W. Lin; Anthony W. Lin; Georg Zetzsche; Igor Potapov. Springer Science and Business Media Deutschland GmbH, 2022. p. 3-27 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13608 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - SAT-Based Invariant Inference and Its Relation to Concept Learning

AU - Feldman, Yotam M.Y.

AU - Shoham, Sharon

PY - 2022

Y1 - 2022

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85141809428&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-19135-0_1

DO - 10.1007/978-3-031-19135-0_1

M3 - פרסום בספר כנס

AN - SCOPUS:85141809428

SN - 9783031191343

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 27

BT - Reachability Problems - 16th International Conference, RP 2022, Proceedings

A2 - Lin, Anthony W.

A2 - Zetzsche, Georg

A2 - Potapov, Igor

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 17 October 2022 through 21 October 2022

ER -

Feldman YMY, Shoham S. SAT-Based Invariant Inference and Its Relation to Concept Learning. In Lin AW, Lin AW, Zetzsche G, Potapov I, editors, Reachability Problems - 16th International Conference, RP 2022, Proceedings. Springer Science and Business Media Deutschland GmbH. 2022. p. 3-27. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-19135-0_1