Search Results for author:
Found 5 papers, 0 papers with code
Using Symmetries to Lift Satisfiability Checking
Thus, we propose a 2-step novel method: (i) the sentence to be satisfied is automatically translated into an equisatisfiable sentence over a ``lifted'' vocabulary that allows domain compression; (ii) satisfiability of the lifted sentence is checked by growing the (initially unknown) compressed domain until a satisfying structure is found.
Applying Incremental Answer Set Solving to Product Configuration
Using complex domain-specific configuration actions makes it possible to tightly control the level of non-determinism and performance of the solving process.
Rail Topology Ontology: A Rail Infrastructure Base Ontology
Engineering projects for railway infrastructure typically involve many subsystems which need consistent views of the planned and built infrastructure and its underlying topology.
Consistency-based Merging of Variability Models
Globally operating enterprises selling large and complex products and services often have to deal with situations where variability models are locally developed to take into account the requirements of local markets.
OOASP: Connecting Object-oriented and Logic Programming
Modeling phases -- during which software engineers analyze requirements to the future system using some modeling language -- are an important part of the development process, since modeling errors are often hard to recognize and correct.
