Strukturerkennung mit SAT

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
STRIDES
 
Project Title (de) Projekttitel (de)
Strukturerkennung mit SAT
 
Project Title (en) Projekttitel (en)
Structure Identification with SAT
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

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

Publications

Results 1-6 of 6 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ordyniak-2024-Journal of Computer and System Sciences-vor.pdf.jpgOrdyniak, Sebastian ; Schidler, Andre ; Szeider, Stefan Backdoor DNFsArticle Artikel 1-Sep-2024
2Schidler, Andre ; Szeider, Stefan SAT-based Decision Tree Learning for Large Data SetsArticle Artikel 3-Jul-2024
3Schidler-2023-ACM Journal on Experimental Algorithmics-vor.pdf.jpgSchidler, Andre ; Szeider, Stefan SAT-boosted tabu search for coloring massive graphsArticle Artikel Dec-2023
4Schidler-2023-Artificial Intelligence-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing optimal hypertree decompositions with SATArticle Artikel Dec-2023
5Ramaswamy-2023-Proven Optimally-Balanced Latin Rectangles with SAT-vor.pdf.jpgRamaswamy, Vaidyanathan Peruvemba ; Szeider, Stefan Proven Optimally-Balanced Latin Rectangles with SATInproceedings Konferenzbeitrag 22-Sep-2023
6Schidler-2023-Computing Twin-width with SAT and Branch Bound-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing Twin-width with SAT and Branch & BoundInproceedings Konferenzbeitrag 2023