Sign in
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL.
Frank D. Valencia
Published in:
ICLP (2003)
Keyphrases
</>
constraint programming
constraint satisfaction problems
constraint propagation
constraint satisfaction
integer programming
combinatorial problems
petri net
column generation
global constraints
reinforcement learning
model checking
search strategies
temporal logic
arc consistency
itemset mining
symmetry breaking