The Partner Units Configuration Problem: Completing the Picture
The partner units problem (PUP) is an acknowledged hard benchmark problem for the Logic Programming community with various industrial application fields like surveillance, electrical engineering, computer networks or railway safety systems. However, computational complexity remained widely unclear so far. In this paper we provide all missing complexity results making the PUP better exploitable for benchmark testing. Furthermore, we present QuickPup, a heuristic search algorithm for PUP instances which outperforms all state-of-the-art solving approaches and which is already in use in real world industrial configuration environments.
Code (0)
등록된 구현이 없습니다.
Tasks
Electrical EngineeringHeuristic SearchSimilar Papers 제목 키워드 기반
Dilated convolutional neural network-based deep reference picture generation for video compression
Motion estimation and motion compensation are indispensable parts of inter prediction in video coding. Since the motion vector of objects is mostly in fractional pixel units, original reference pictures may not accuratel…
Motion CompensationMotion EstimationVideo CompressionEfficient lifting of symmetry breaking constraints for complex combinatorial problems
Many industrial applications require finding solutions to challenging combinatorial problems. Efficient elimination of symmetric solution candidates is one of the key enablers for high-performance solving. However, exist…
Inductive logic programmingCombining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial problems …
Learning to Communicate Implicitly By Actions
In situations where explicit communication is limited, human collaborators act by learning to: (i) infer meaning behind their partner's actions, and (ii) convey private information about the state to their partner implic…
Knowledge Graph Completion for Action Prediction on Situational Graphs -- A Case Study on Household Tasks
Knowledge Graphs are used for various purposes, including business applications, biomedical analyses, or digital twins in industry 4.0. In this paper, we investigate knowledge graphs describing household actions, which a…
Knowledge Graph CompletionKnowledge GraphsLink Prediction