Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/209852
-
Title:
Incremental SAT Solvers in Practice
en
Citation:
Fazekas, K. (2024, June 26).
Incremental SAT Solvers in Practice
[Conference Presentation]. SAT/SMT/AR Summer School 2024, Nancy, France.
-
Publication Type:
Presentation - Conference Presentation
en
Language:
English
-
Authors:
Fazekas, Katalin
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Date (published):
26-Jun-2024
-
Event name:
SAT/SMT/AR Summer School 2024
en
Event date:
26-Jun-2024 - 29-Jun-2024
-
Event place:
Nancy, France
-
Keywords:
Automated Reasoning; Incremental SAT
en
Project title:
Inkrementelles SAT und SMT für skalierbare Verifikation: T 1306-N (FWF - Österr. Wissenschaftsfonds)
-
Research Areas:
Logic and Computation: 40%
Computer Engineering and Software-Intensive Systems: 40%
Computer Science Foundations: 20%
-
Science Branch:
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Presentation
Show full item record
Page view(s)
9
checked on Jan 28, 2025
Google Scholar
TM
Check