随机化处理技术

 

 

1.

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. AAAI 2020: 1428-1435

 

 Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. AAAI 2020: 1428-1435

 

@inproceedings{DBLP:conf/aaai/ChowdhuryMY20,
  author       = {Md. Solimul Chowdhury and
                  Martin M{\"{u}}ller and
                  Jia{-}Huai You},
  title        = {Guiding {CDCL} {SAT} Search via Random Exploration amid Conflict Depression},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {1428--1435},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i02.5500},
  doi          = {10.1609/AAAI.V34I02.5500},
  timestamp    = {Mon, 04 Sep 2023 16:50:23 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ChowdhuryMY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

主要创新点：提出了一种称为expSAT的探索策略，该策略随机采样变量选择序列，以便从生成的冲突中学习更新的启发式规则。目标是迅速摆脱冲突萧条。
   
   
   
   
   
posted on 2024-04-07 23:26  海阔凭鱼跃越  阅读(9)  评论(0)  编辑  收藏  举报