SAT-Based Local Improvement Methods

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
SLIM
 
Project Title (de) Projekttitel (de)
SAT-Based Local Improvement Methods
 
Project Title (en) Projekttitel (en)
SAT-Based Local Improvement Methods
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P32441-N35
 

Publications

Results 1-8 of 8 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Dreier-2022-SAT Backdoors Depth Beats Size-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan SAT Backdoors: Depth Beats SizeInproceedings Konferenzbeitrag 1-Sep-2022
2Eiben-2022-Finding a Cluster in Incomplete Data-vor.pdf.jpgEiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan Finding a Cluster in Incomplete DataInproceedings Konferenzbeitrag 1-Sep-2022
3Ganian-2022-Journal of Artificial Intelligence Research-vor.pdf.jpgGanian, Robert ; Schidler, André ; Sorge, Manuel ; Szeider, Stefan Threshold Treewidth and Hypertree WidthArticle Artikel 10-Aug-2022
4Kirchweger-2022-A SAT Attack on Rotas Basis Conjecture-vor.pdf.jpgKirchweger, Markus ; Scheucher, Manfred ; Szeider, Stefan A SAT Attack on Rota’s Basis ConjectureInproceedings Konferenzbeitrag 28-Jul-2022
5Ganian-2022-Weighted Model Counting with Twin-Width-vor.pdf.jpgGanian, Robert ; Pokrývka, Filip ; Schidler, André ; Simonov, Kirill ; Szeider, Stefan ; Meel, Kuldeep S. ; Strichman, Ofer Weighted Model Counting with Twin-WidthInproceedings Konferenzbeitrag 28-Jul-2022
6Dvorak-2022-Tractable Abstract Argumentation via Backdoor-Treewidth-vor.pdf.jpgDvořák, Wolfgang ; Hecher, Markus ; König, Matthias ; Schidler, Andre ; Szeider, Stefan ; Woltran, Stefan Tractable Abstract Argumentation via Backdoor-TreewidthInproceedings Konferenzbeitrag 28-Jun-2022
7Schidler-2022-SAT-Based Local Search for Plane Subgraph Partitions-vor.pdf.jpgSchidler, André ; Goaoc, Xavier ; Kerber, Michael SAT-Based Local Search for Plane Subgraph PartitionsInproceedings Konferenzbeitrag 1-Jun-2022
8Peruvemba Ramaswamy-2022-Learning Fast-Inference Bayesian Networks-vor.pdf.jpgPeruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan Learning Fast-Inference Bayesian NetworksInproceedings Konferenzbeitrag 2022