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 44 papers between 2020 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach.
[BibTeX]
[DOI]
Hannes Ihalainen
,
Dieter Vandesande
,
André Schidler
,
Jeremias Berg
,
Bart Bogaerts
,
Matti Järvisalo
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

Ordered Objectives in Maximum Satisfiability.
[BibTeX]
[DOI]
Jeremias Berg
,
André Schidler
,
Matti Järvisalo
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025
Experimental Repository for "Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach".
[BibTeX]
[DOI]
Hannes Ihalainen
,
Dieter Vandesande
,
André Schidler
,
Jeremias Berg
,
Bart Bogaerts
,
Matti Järvisalo
Dataset, November, 2025

Ordered Objectives in Maximum Satisfiability - Supplementary Material.
[BibTeX]
[DOI]
Jeremias Berg
,
André Schidler
,
Matti Järvisalo
Dataset, November, 2025

Kissat Clause Reduction Version.
[BibTeX]
[DOI]
Bernhard Gstrein
,
Florian Pollitt
,
André Schidler
,
Mathias Fleury
,
Armin Biere
Dataset, August, 2025

Learn to Unlearn.
[BibTeX]
[DOI]
Bernhard Gstrein
,
Florian Pollitt
,
André Schidler
,
Mathias Fleury
,
Armin Biere
Dataset, April, 2025

Extracting Problem Structure with LLMs for Optimized SAT Local Search.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, January, 2025

Analyzing Reformulation Performance in Core-Guided MaxSAT Solving.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

Learn to Unlearn.
[BibTeX]
[DOI]
Bernhard Gstrein
,
Florian Pollitt
,
André Schidler
,
Mathias Fleury
,
Armin Biere
Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

PACE Solver Description: Minimum Hitting Set Computation via Core-Guided MaxSAT Solving.
[BibTeX]
[DOI]
André Schidler
Proceedings of the 20th International Symposium on Parameterized and Exact Computation, 2025

Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms.
[BibTeX]
[DOI]
Christian Komusiewicz
,
André Schidler
,
Frank Sommer
,
Manuel Sorge
,
Luca Pascal Staus
Proceedings of the Forty-second International Conference on Machine Learning, 2025

2024
Structure-guided Local Improvement for Maximum Satisfiability Supplementary.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Dataset, June, 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

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

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 25th 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

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 24th 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

Computing Optimal Hypertree Decompositions with SAT.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Backdoor DNFs.
[BibTeX]
[DOI]
Sebastian Ordyniak
,
André Schidler
,
Stefan Szeider
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

SAT-based Decision Tree Learning for Large Data Sets.
[BibTeX]
[DOI]
André Schidler
,
Stefan Szeider
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Threshold Treewidth and Hypertree Width.
[BibTeX]
[DOI]
Robert Ganian
,
André Schidler
,
Manuel Sorge
,
Stefan Szeider
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 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 22nd Symposium on Algorithm Engineering and Experiments, 2020


  Loading...