Program
printThursday Friday
12:30 | Registration | |||
13:45 | VP1 | |||
Official opening | ||||
14:00 | Invited talk | Chair: G. Galambos | ||
Michel Bierlaire: Predicting Human Behavior with Optimization | ||||
15:00 | Coffee break | |||
15:30 – 17:00 | Avla | MP1 | ||
Scheduling 1 | Chair: A. Quilliot | Software | Chair: N. Musliu | |
15:30 | D. Baldouski, B. Dávid, M. Krész: Merging Operations in the Open-Shop Scheduling Problem | B. Hren, T. Dobravec: ALGatorGraph: A Java Library for Graph Generation and Manipulation within the ALGator System. | ||
16:00 | Cs. Kebelei, M. Hegyháti: Flexibility vs. Efficiency: a Study in Sawmill Scheduling | G. Kusper: Engineering CSFLOC:: A Subsumption-Driven Clause-Counting SAT Solver. | ||
16:30 | V. Árgilán, J. Békési, G. Galambos, I. Papp: Implementation of a Vehicle and Driver Scheduling Model: a Case Study | L. Alland, A. Sali, N. Wu: Non-redundant Systems of Independence Atoms in Relational Databases. | ||
17:00 | Coffee break | |||
17:30 – 18:50 | Avla | MP1 | ||
Graph Theory 1 | Chair: G.O.H. Katona | Applications 1 | Chair: T. Dobravec | |
17:30 | E. Gyori: Turan numbers of planar graphs. | P. Appiah, A. Awasthi: Digital Forensics: Development of Advanced Process Framework for Mobile Forensics (Apfmf). | ||
17:50 | M. Vass, P. Kardos, R. Farkas, M. Krész: DogMa: A Dogtag-Based Knowledge Graph Entity Matching Framework. | I. Gjergji, L. Kletzander, N. Musliu, A. Schaerf, K. Smith-Miles: Investigating the Capacitated Facility Location Problem with Customer Incompatibilities Using Instance Space Analysis. | ||
18:10 | M. Simonovits: Stability phenomena in Discrete Mathematics. | L. Heidrich, Á. Kovács, G. Kusper: A Stochastic Forecasting Engine for Sports Analytics Using Monte Carlo Simulation. | ||
18:30 | J. Žerovnik: On 4-domination and 4-rainbow domination of cylindrical graphs. | M. Váradi, Zs. Ercsey, T. Storcz, Z. Kovács Advantages of solving the tram driver assignment problem using process networks. | ||
19:30 | Conference dinner |
8:30 | Registration | |||
9:00 – 10:00 | VP1 | MP1 | ||
Automata Theory | Chair: E. Györi | Applications 2 | Chair: J. Békési | |
9:00 | P. Dömösi, G. Horváth: Scrambler Automaton Block Cipher for IoT Devices. | S. P. Tahalea, M. Krész: Towards a Category-Theoretic Informatics Model of PSPP Linkages in Biomaterials. | ||
9:30 | B. Nagy: Automata for context-free trace languages and permutation languages. | M. Kiss, G. Berend: Cost-Sensitive Overview of Model Ensembling for Machine-Generated Text Detection. | ||
10:00 | Coffee break | |||
10:30 – 12:00 | VP1 | MP1 | ||
Scheduling 2 | Chair: B. Nilsson | Applications 3 | Chair: A.Sali | |
10:30 | A. Dabbous, A. Bóta: Hybrid Reinforcement Learning Enhanced Genetic Algorithm for the Capacitated Vehicle Routing Problem with Split Deliveries and Heterogeneous Fleet. | N. Kovačević, Č. Tavzes, B. Dávid: A discrete event simulation model for analyzing the wood waste reverse supply chain. | ||
11:00 | M. Hegyháti: Empiric results on the achievable performance gains by he inclusion of instance-specific information in a scheduling optimizer. | Á. Szaller, B.Dávid, P. Egri, M. Krész,J. Váncza: Robust (re)Design of Material Flow in Circular Networks – a Scientific Approach. | ||
11:30 | A. Quilliot: Bi-Level Routing and Scheduling. | Š. Horvat, D. Strnad, D. Mongu, M. Brumen: Harvest plan generation in precision agriculture | ||
12:00 | Lunch | |||
14:00 – 15:00 | VP1 | MP1 | ||
Graph Theory 2 | Chair: M. Krész | Applications 4 | Chair: A. Brodnik | |
14:00 | S. Szabo, B. Zavalnij: Reducing #SAT to k-clique enumeration. | A. Mansour, Cs. Beleznai, F. F. Oberweger, V.Widhalm, N. Kirillova, H. Possegger: A Synthetic Multi-View Tracking and 3D Pose Dataset for Automated Airport Visual Surveillance. | ||
14:30 | S. P.Tahalea, A. Kawa, B. Dávid: Modularity aware graph clustering for exploratory tasks with a case study of the biomass supply chain | D. Podgorelec, L. Lukač, S. Pečnik, B. Repnik and B.t Žalik: Sphere Target-Based Point Cloud Registration in a Railway Safety Application. | ||
15:00 | Coffee break | |||
15:30 – 16:30 | VP1 | MP1 | ||
Computer Science | Chair: M. Simonovits | Network | Chair: B. Zaválnij | |
15:30 | G. O.H. Katona: Identification of a monotone Boolean function with k “reasons” as a combinatorial search problem. | J. Pavlović, L. Hajdu, M. Krész: Modeling Diffusion on Networks Reshaped by Global Interventions. | ||
15:50 | J. Suban: The Impact of Alphabet Size on Text Indexing. |
J. Konc, D.Janežič: Efficient Algorithms for the Maximum Weight Clique Problem with Applications to Protein Binding Site Analysis. |
||
16:10 | U. Čibej: A catalogue of small patterns of uniquely satisfiable formulas. | M. Požar, M. Krész: Towards Network-Aware Uplift Modeling via Influence Maximization. | ||
16:30 | VP1 | |||
Conference closing |