Login / Signup

Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden.

Dongdong ZhaoLei LiaoWenjian LuoJianwen XiangHao JiangXiaoyi Hu
Published in: J. Artif. Intell. Res. (2023)
Keyphrases
  • random sat instances
  • information retrieval systems
  • decision makers
  • domain independent
  • sat problem
  • boolean satisfiability