Strukturerkennung mit SAT


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
 
Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
P36420-N
 

Publications

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schidler-2023-ACM Journal on Experimental Algorithmics-vor.pdf.jpgSchidler, Andre ; Szeider, Stefan SAT-boosted tabu search for coloring massive graphsArticle Artikel Dec-2023
2Schidler-2023-Artificial Intelligence-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing optimal hypertree decompositions with SATArticle Artikel Dec-2023
3Ramaswamy-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
4Schidler-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