Name: Markus Iser
Type: User
Company: Karlsruhe Institute of Technology
Bio: Automated Reasoning and Optimization, Meta Algorithmics, Explainable Artificial Intelligence, Algorithm Visualization and Sonification
Location: Karlsruhe
Blog: https://algo2.iti.kit.edu/3986.php
Markus Iser's Projects
Management of Benchmark Instances and Instance Attributes
GBD Data Repository
Instance Identification, Feature Extraction, and Problem Transformation
Evaluation Scripts for GBD
Calculate GBDHash for DIMACS CNF
A minimalistic and high-performance SAT solver
Determine the Prime Implicants of Random Forest Classifiers
Lightweight Algorithm Sonification with Open Sound Control