C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Experiments with Declarative Modeling of Maximum Clique Problem Using Solvers Supported by MiniZinc.
Ionut Muraretu
Costin Badica
Published in:
ICSTCC (2020)
Keyphrases
</>
databases
modeling framework
decision trees
high level
branch and bound algorithm
cognitive modeling