Name Card

Full name Familienname, Vorname
Schidler, Andre
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-11 of 11 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schidler-2023-Artificial Intelligence-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing optimal hypertree decompositions with SATArticle Artikel Dec-2023
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 Andre - 2023 - Scalability for SAT-based combinatorial problem solving.pdf.jpgSchidler, André Scalability for SAT-based combinatorial problem solvingThesis Hochschulschrift 2023
4Kiesel, Rafael ; Schidler, André A Dynamic MaxSAT-based Approach to Directed Feedback Vertex SetsInproceedings Konferenzbeitrag 2023
5Schidler-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
6Kiesel, Rafael ; Schidler, André PACE Solver Description: DAGer – Cutting out Cycles with MaxSATInproceedings Konferenzbeitrag 1-Dec-2022
7Ganian-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
8Ganian-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
9Dvorak-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
10Schidler-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
11Schidler, André ; Szeider, Stefan A SAT Approach to Twin-WidthInproceedings Konferenzbeitrag 2022