An interdisciplinary experimental evaluation on the disjunctive temporal problem

DOI10.1007/s10601-023-09342-7zbMath1522.68519MaRDI QIDQ6080502

Dario Ostuni, Alice Raffaele, Romeo Rizzi, Matteo Zavatteri

Publication date: 2 October 2023

Published in: Constraints (Search for Journal in Brave)

zbMATH Keywords

mixed integer linear programmingconstraint programmingsatisfiability modulo theoriescircuit SATdisjunctive temporal problem

Mathematics Subject Classification ID

Mixed integer programming (90C11) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Computational complexity of linear constraints over the integers
• Efficient solution techniques for disjunctive temporal reasoning problems
• Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
• Temporal constraint networks
• Backtracking algorithms for disjunctions of temporal constraints
• Conditional simple temporal networks with uncertainty and decisions
• Solving strong controllability of temporal problems with uncertainty using SMT
• OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
• Propagation = Lazy Clause Generation
• Discrete Temporal Constraint Satisfaction Problems
• FHCP Challenge Set: The First Set of Structurally Difficult Instances of the Hamiltonian Cycle Problem
• Mechanizing Mathematical Reasoning
• Generating Difficult CNF Instances in Unexplored Constrainedness Regions
• Unnamed Item
• Unnamed Item

This page was built for publication: An interdisciplinary experimental evaluation on the disjunctive temporal problem