Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions

DOI10.4230/lipics.time.2019.16zbMath1515.68295MaRDI QIDQ6487560

Luca Viganò, Romeo Rizzi, Carlo Combi, Matteo Zavatteri

Publication date: 3 February 2023

zbMATH Keywords

disjunctive temporal networkHSCC algorithmsincremental SAT-solvingsimple temporal network with decisionsKAPPA

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way ⋮ An interdisciplinary experimental evaluation on the disjunctive temporal problem ⋮ Dynamic controllability of temporal networks with instantaneous reaction ⋮ Mining CSTNUDs significant for a set of traces is polynomial

This page was built for publication: Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions