Publication | Closed Access

Solving the Stable Roommates Problem using Incoherent Answer Set Programs.

Artificial IntelligenceEngineeringConstraint SatisfactionStable Roommates ProblemAutomated ReasoningAnswer Set ProgrammingFormal MethodsDistributed Problem SolvingComputer ScienceCombinatorial Optimization