Enhancing Hybrid CP-SAT Search for Disjunctive Scheduling.

Arthur Bit-Monnot

Published in: ECAI (2023)

Keyphrases

search algorithm
search strategies
search efficiency
search space
search methods
search strategy
scheduling algorithm
scheduling problem
stochastic local search
computational complexity
information retrieval systems
phase transition
satisfiability problem
propositional logic
search tools