We stand with Ukraine  

André Schidler

Orcid: 0000-0001-6790-7158

Affiliations:
  • TU Wien, Vienna, Austria


According to our database1, André Schidler authored at least 32 papers between 2020 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SAT-based Decision Tree Learning for Large Data Sets - Results and Source code.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, May, 2024

Backdoor DNFs Results and Source Code.
[BibTeX]
[DOI]
Sebastian Ordyniak
,
André Schidler
,
Stefan Szeider
Dataset, May, 2024

Backdoor DNFs.
[BibTeX]
[DOI]
Sebastian Ordyniak
,
André Schidler
,
Stefan Szeider
J. Comput. Syst. Sci., 2024

SAT-based Decision Tree Learning for Large Data Sets.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
J. Artif. Intell. Res., 2024

Structure-Guided Local Improvement for Maximum Satisfiability.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023
SAT-boosted Tabu Search for Coloring Massive Graphs.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
ACM J. Exp. Algorithmics, December, 2023

Computing optimal hypertree decompositions with SAT.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Artif. Intell., December, 2023

MaxSLIM Anytime MaxSAT Solver.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, December, 2023

Computing twin-width with branch & bound - PACE Submission.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, June, 2023

SAT-Boosted Tabu Search for Coloring Massive Graphs - Code.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, May, 2023

Computing twin-width with SAT and branch & bound.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, May, 2023

Computing twin-width with SAT and branch & bound - Results.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, May, 2023

SAT-Boosted Tabu Search for Coloring Massive Graphs - Experiments.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, March, 2023

SAT Encodings and Beyond (Dagstuhl Seminar 23261).
[BibTeX]
[DOI]
Marijn J. H. Heule
,
Inês Lynce
,
Stefan Szeider
,
André Schidler
Dagstuhl Reports, 2023

Computing Twin-width with SAT and Branch & Bound.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.
[BibTeX]
[DOI]
Rafael Kiesel
,
André Schidler
Proceedings of the Symposium on Algorithm Engineering and Experiments, 2023

2022
Computing Optimal Hypertree Decompositions with SAT - Results.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, July, 2022

Weighted Model Counting with Twin-Width: Experimental Results.
[BibTeX]
[DOI]
Robert Ganian
,
Filip Pokrývka
,
André Schidler
,
Kirill Simonov
,
Stefan Szeider
Dataset, June, 2022

Threshold Treewidth and Hypertree Width.
[BibTeX]
[DOI]
Robert Ganian
,
André Schidler
,
Manuel Sorge
,
Stefan Szeider
J. Artif. Intell. Res., 2022

Weighted Model Counting with Twin-Width.
[BibTeX]
[DOI]
Robert Ganian
,
Filip Pokrývka
,
André Schidler
,
Kirill Simonov
,
Stefan Szeider
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT.
[BibTeX]
[DOI]
Rafael Kiesel
,
André Schidler
Proceedings of the 17th International Symposium on Parameterized and Exact Computation, 2022

SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge).
[BibTeX]
[DOI]
André Schidler
Proceedings of the 38th International Symposium on Computational Geometry, 2022

A SAT Approach to Twin-Width.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Proceedings of the Symposium on Algorithm Engineering and Experiments, 2022

Tractable Abstract Argumentation via Backdoor-Treewidth.
[BibTeX]
[DOI]
Wolfgang Dvorák
,
Markus Hecher
,
Matthias König
,
André Schidler
,
Stefan Szeider
,
Stefan Woltran
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
A SAT Approach to Twin-Width.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, October, 2021

HtdLEO source code.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, May, 2021

HtdLEO Results.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, May, 2021

DT-SLIM: SAT-based Decision Tree Learning for Large Data Sets.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, March, 2021

DT-SLIM Results.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, March, 2021

2020
Solving the Steiner Tree Problem with few Terminals.
[BibTeX]
[DOI]
Johannes Klaus Fichte
,
Markus Hecher
,
André Schidler
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Towards Faster Reasoners by Using Transparent Huge Pages.
[BibTeX]
[DOI]
Johannes Klaus Fichte
,
Norbert Manthey
,
Julian Stecklina
,
André Schidler
Proceedings of the Principles and Practice of Constraint Programming, 2020

Computing Optimal Hypertree Decompositions.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Proceedings of the Symposium on Algorithm Engineering and Experiments, 2020


  Loading...