Login / Signup
Solving Hard MIPLIB2003 Problems with ParaSCIP on Supercomputers: An Update.
Yuji Shinano
Tobias Achterberg
Timo Berthold
Stefan Heinz
Thorsten Koch
Michael Winkler
Published in:
IPDPS Workshops (2014)
Keyphrases
</>
solving hard
combinatorial problems
search problems
np complete
propositional satisfiability
optimization problems
constraint satisfaction problems
artificial intelligence
search algorithm
domain specific
sat problem