Inkrementelles SAT und SMT für skalierbare Verifikation

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
INCR
 
Project Title (de) Projekttitel (de)
Inkrementelles SAT und SMT für skalierbare Verifikation
 
Project Title (en) Projekttitel (en)
Incremental SAT and SMT Reasoning for Scalable Verification
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
T 1306-N
 

Publications

Results 1-11 of 11 (Search time: 0.018 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pollitt, Florian ; Fleury, Mathias ; Fazekas, Katalin ; Froleyks, Nils ; Schidler, André ; Schreiber, Dominik ; Biere, Armin CaDiCaL 3.0 (Tool Paper)Inproceedings Konferenzbeitrag 16-Jul-2026
2Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin Satisfiability Modulo User PropagatorsArticle Artikel 27-Dec-2024
3Fazekas, Katalin SAT modulo IPASIR-UPPresentation Vortrag14-Oct-2024
4Biere, Armin ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils Clausal Congruence ClosureInproceedings Konferenzbeitrag 19-Aug-2024
5Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin Certifying Incremental SAT SolvingPresentation Vortrag23-Jul-2024
6Fazekas, Katalin Incremental SAT Solvers in PracticePresentation Vortrag26-Jun-2024
7Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin Incremental Proofs for Bounded Model CheckingInproceedings Konferenzbeitrag 19-Jun-2024
8Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin Certifying Incremental SAT SolvingInproceedings Konferenzbeitrag 26-May-2024
9Biere, Armin ; Faller, Tobias ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils ; Pollitt, Florian CaDiCaL 2.0Inproceedings Konferenzbeitrag 2024
10Bjørner, Nikolaj ; Fazekas, Katalin On Incremental Pre-processing for SMTInproceedings Konferenzbeitrag 2-Sep-2023
11Fazekas-2023-IPASIR-UP User Propagators for CDCL-vor.pdf.jpgFazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin IPASIR-UP: User Propagators for CDCLInproceedings Konferenzbeitrag 9-Aug-2023