Konstantin Schekotihin

Available identifiers

zbMath Open schekotihin.konstantinMaRDI QIDQ2055803

List of research outcomes

Publication	Date of Publication	Type
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach	2023-01-09	Paper
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems	2022-09-30	Paper
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling	2022-09-30	Paper
Lifting symmetry breaking constraints with inductive logic programming	2022-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5020542	2022-01-06	Paper
Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP	2021-12-01	Paper
Managing caching strategies for stream reasoning with reinforcement learning	2020-12-13	Paper
A distributed approach to LARS stream reasoning (system paper)	2020-05-04	Paper
Debugging non-ground ASP programs: technique and graphical tools	2019-09-19	Paper
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks	2016-11-30	Paper

Research outcomes over time

This page was built for person: Konstantin Schekotihin