Login / Signup
Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract).
Jiaxin Liang
Junping Zhou
Minghao Yin
Published in:
AAAI (2024)
Keyphrases
</>
combinatorial optimization
query processing
intelligent tutoring systems
upper bound
user defined
high level
student learning
boolean optimization
search engine
learning environment
search strategy