Jakob Bach

According to our database, Jakob Bach authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Using Constraints to Discover Sparse and Alternative Subgroup Descriptions.

Jakob Bach

CoRR, 2024

2023

Finding Optimal Diverse Feature Sets with Alternative Feature Selection.

Jakob Bach

CoRR, 2023

Active Learning for SAT Solver Benchmarking.

Tobias Fuchs, Jakob Bach, Markus Iser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Auction Verification.

Elaheh Ordoni, Jakob Bach, Ann-Katrin Fleck

Dataset, February, 2022

An Empirical Evaluation of Constrained Feature Selection.

Jakob Bach, Kolja Zoller, Holger Trittenbach, Katrin Schulz, Klemens Böhm

SN Comput. Sci., 2022

Analyzing and Predicting Verification of Data-Aware Process Models-A Case Study With Spectrum Auctions.

Elaheh Ordoni, Jakob Bach, Ann-Katrin Fleck

IEEE Access, 2022

A Comprehensive Study of k-Portfolios of Recent SAT Solvers.

Jakob Bach, Markus Iser, Klemens Böhm

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2019

Understanding the effects of temporal energy-data aggregation on clustering quality.

Holger Trittenbach, Jakob Bach, Klemens Böhm

it Inf. Technol., 2019

2018

On the Tradeoff between Energy Data Aggregation and Clustering Quality.

Holger Trittenbach, Jakob Bach, Klemens Böhm

Proceedings of the Ninth International Conference on Future Energy Systems, 2018