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-10 of 10 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin Satisfiability Modulo User PropagatorsArticle Artikel 27-Dec-2024
2Fazekas, Katalin SAT modulo IPASIR-UPPresentation Vortrag14-Oct-2024
3Biere, Armin ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils Clausal Congruence ClosureInproceedings Konferenzbeitrag 19-Aug-2024
4Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin Certifying Incremental SAT SolvingPresentation Vortrag23-Jul-2024
5Fazekas, Katalin Incremental SAT Solvers in PracticePresentation Vortrag26-Jun-2024
6Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin Incremental Proofs for Bounded Model CheckingInproceedings Konferenzbeitrag 19-Jun-2024
7Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin Certifying Incremental SAT SolvingInproceedings Konferenzbeitrag 26-May-2024
8Biere, Armin ; Faller, Tobias ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils ; Pollitt, Florian CaDiCaL 2.0Inproceedings Konferenzbeitrag 2024
9Bjørner, Nikolaj ; Fazekas, Katalin On Incremental Pre-processing for SMTInproceedings Konferenzbeitrag 2-Sep-2023
10Fazekas-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