Login / Signup

Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract).

Jiaxin LiangJunping ZhouMinghao 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