André Schidler

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
PACE solver description: minimum hitting set computation via core-guided MaxSAT solving	2026-09-23	Paper
Computing and certifying twin-width using logic ACM Transactions on Computational Logic	2026-01-07	Paper
Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving (available as arXiv preprint)	2026-01-01	Paper
PACE solver description: DAGer -- cutting out cycles with MaxSAT	2025-06-23	Paper
SAT-boosted tabu search for coloring massive graphs ACM Journal of Experimental Algorithmics	2024-07-26	Paper
Weighted model counting with twin-width	2024-07-12	Paper
Backdoor DNFs Journal of Computer and System Sciences	2024-07-01	Paper
A SAT approach to twin-width	2024-05-24	Paper
A dynamic MaxSAT-based approach to directed feedback vertex sets	2024-05-24	Paper
SAT-based local search for plane subgraph partitions (CG challenge)	2024-05-14	Paper
Computing optimal hypertree decompositions with SAT Artificial Intelligence	2023-12-14	Paper
Threshold Treewidth and Hypertree Width Journal of Artificial Intelligence Research	2022-08-30	Paper
A SAT Approach to Twin-Width	2021-10-12	Paper
Computing Optimal Hypertree Decompositions 2020 Proceedings of the Twenty-Second Workshop on Algorithm Engineering and Experiments (ALENEX)	2021-01-27	Paper

Research outcomes over time

This page was built for person: André Schidler