Program

print

Thursday 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