Scheduling pre-operative assessment clinic with answer set programming

DOI10.1093/LOGCOM/EXAD017MaRDI QIDQ7010950zbMATH OpenFDO

Authors Simone Caruso, Marco Maratea

Publication date 19 March 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAD017

zbMATH Keywords

answer-set programmingdigital healthpre-operative assessment clinic scheduling

Mathematics Subject Classification ID

Logic programming (68N17) Deterministic scheduling theory in operations research (90B35)

Cites work

• Conflict-driven answer set solving: from theory to practice
• Evaluation of disjunctive programs in WASP
• Industrial-size scheduling with ASP+CP
• LMHS: a SAT-IP hybrid MaxSat solver
• Multi-shot ASP solving with clingo
• Nurse scheduling via answer set programming
• Open-WBO: a modular MaxSAT solver
• RC2: an efficient MaxSAT solver
• Semantics and complexity of recursive aggregates in answer set programming
• Team-building with answer set programming in the Gioia-Tauro seaport
• The design of the Seventh Answer Set Programming Competition
• The Seventh Answer Set Programming Competition: Design and Results
• Train scheduling with hybrid ASP

Cited in

(2)

• ASP-based approaches for solving the nuclear medicine scheduling problem
• Operating room scheduling via answer set programming: improved encoding and test on real data

This page was built for publication: Scheduling pre-operative assessment clinic with answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7010950)