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 - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
P32441-N35
 

Publications

Results 1-16 of 16 (Search time: 0.007 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
2Schidler-2023-ACM Journal on Experimental Algorithmics-vor.pdf.jpgSchidler, Andre ; Szeider, Stefan SAT-boosted tabu search for coloring massive graphsArticle Artikel Dec-2023
3Schidler-2023-Artificial Intelligence-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing optimal hypertree decompositions with SATArticle Artikel Dec-2023
4Dreier-2023-Constraints-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan CSP beyond tractable constraint languagesArticle Artikel Sep-2023
5Kirchweger-2023-A SAT Solvers Opinion on the Erdos-Faber-Lovasz Conjecture-vor.pdf.jpgKirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan A SAT Solver's Opinion on the Erdos-Faber-Lovász ConjectureInproceedings Konferenzbeitrag 9-Aug-2023
6Fazekas-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
72023-SAT-Based Generation of Planar Graphs-vor.pdf.jpgMarkus Kirchweger ; Scheucher, Manfred ; Szeider, Stefan SAT-Based Generation of Planar GraphsInproceedings Konferenzbeitrag 9-Aug-2023
8Schidler-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
9Dreier-2022-SAT Backdoors Depth Beats Size-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan SAT Backdoors: Depth Beats SizeInproceedings Konferenzbeitrag 1-Sep-2022
10Eiben-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
11Ganian-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
12Ganian-2022-Weighted Model Counting with Twin-Width-vor.pdf.jpgGanian, Robert ; Pokrývka, Filip ; Schidler, André ; Simonov, Kirill ; Szeider, Stefan Weighted Model Counting with Twin-WidthInproceedings Konferenzbeitrag 28-Jul-2022
13Kirchweger-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
14Dvorak-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
15Schidler-2022-SAT-Based Local Search for Plane Subgraph Partitions-vor.pdf.jpgSchidler, André SAT-Based Local Search for Plane Subgraph PartitionsInproceedings Konferenzbeitrag 1-Jun-2022
16Peruvemba Ramaswamy-2022-Learning Fast-Inference Bayesian Networks-vor.pdf.jpgPeruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan Learning Fast-Inference Bayesian NetworksInproceedings Konferenzbeitrag 2022