André Schidler

PostDoc

Address André Schidler Technische Fakultät University of Freiburg Georges Köhler Allee, Gebäude 51 79110 Freiburg im Breisgau Germany   Office Building 51 (map) Room 01..034 +49 761 203 8154 schidler@cs.uni-freiburg.de

My current research interests are (Max)SAT solvers and combinatorial optimization (specifically graph problems), where I currently focus on understanding and improving MaxSAT solvers. I received my PhD in May 2023 at TU Vienna for researching how to scale SAT-based combinatorial optimization methods (Dissertation).

Publications

Please refer to DBLP or Google Scholar for a complete list of my publications.