Login / Signup
CircuitTSAT: A Solver for Large Instances of the Disjunctive Temporal Problem.
Blaine Nelson
T. K. Satish Kumar
Published in:
ICAPS (2008)
Keyphrases
</>
disjunctive temporal
constraint satisfaction problems
temporal reasoning
randomly generated
neural network
test instances
constraint satisfaction
lower and upper bounds
timetabling problem
boolean formula