Login / Signup
SCIP-Jack - a solver for STP and variants with parallelization extensions.
Gerald Gamrath
Thorsten Koch
Stephen J. Maher
Daniel Rehfeldt
Yuji Shinano
Published in:
Math. Program. Comput. (2017)
Keyphrases
</>
temporal constraints
parallel processing
neural network
shared memory
efficient implementation
bayesian networks
real time
multi agent
search space
query processing
database systems
temporal reasoning
artificial intelligence
default logic
distributed memory
exact and approximate
parallel execution