cnf结构探索与应用的文献-归入cmt标签

 最新的概述文献：

On the Structure of the Boolean Satisfiability Problem: A Survey

对基于底层结构SAT相关技术进行了详细的介绍，相关引用文献十分完善，可以作为关于结构方面的检索手册使用。

 

 

 

  

@inproceedings{DBLP:conf/gcai/JamaliM17,
  author       = {Sima Jamali and
                  David Mitchell},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Christine L. Lisetti and
                  Martin Theobald},
  title        = {Improving {SAT} Solver Performance with Structure-based Preferential
                  Bumping},
  booktitle    = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami,
                  FL, USA, 18-22 October 2017},
  series       = {EPiC Series in Computing},
  volume       = {50},
  pages        = {175--187},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/3pxg},
  doi          = {10.29007/3PXG},
  timestamp    = {Sun, 15 Aug 2021 00:16:53 +0200},
  biburl       = {https://dblp.org/rec/conf/gcai/JamaliM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
   
    
@inproceedings{DBLP:conf/sat/JamaliM18,
  author       = {Sima Jamali and
                  David Mitchell},
  editor       = {Olaf Beyersdorff and
                  Christoph M. Wintersteiger},
  title        = {Centrality-Based Improvements to {CDCL} Heuristics},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2018 - 21st
                  International Conference, {SAT} 2018, Held as Part of the Federated
                  Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10929},
  pages        = {122--131},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94144-8\_8},
  doi          = {10.1007/978-3-319-94144-8\_8},
  timestamp    = {Mon, 16 Sep 2019 15:30:17 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/JamaliM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
   
    
@inproceedings{DBLP:conf/sat/NewshamGFAS14,
  author       = {Zack Newsham and
                  Vijay Ganesh and
                  Sebastian Fischmeister and
                  Gilles Audemard and
                  Laurent Simon},
  editor       = {Carsten Sinz and
                  Uwe Egly},
  title        = {Impact of Community Structure on {SAT} Solver Performance},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
                  International Conference, Held as Part of the Vienna Summer of Logic,
                  {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8561},
  pages        = {252--268},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09284-3\_20},
  doi          = {10.1007/978-3-319-09284-3\_20},
  timestamp    = {Mon, 03 Jan 2022 22:35:04 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/NewshamGFAS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
   
   重要文献--可以作为SAT样例结构方面的文献检索手册 
@article{DBLP:journals/csur/Al-YahyaMM23,
  author       = {Tasniem Nasser Al{-}Yahya and
                  Mohamed El Bachir Menai and
                  Hassan Mathkour},
  title        = {On the Structure of the Boolean Satisfiability Problem: {A} Survey},
  journal      = {{ACM} Comput. Surv.},
  volume       = {55},
  number       = {3},
  pages        = {46:1--46:34},
  year         = {2023},
  url          = {https://doi.org/10.1145/3491210},
  doi          = {10.1145/3491210},
  timestamp    = {Fri, 25 Nov 2022 16:03:23 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Al-YahyaMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
   
   
   
   
   
   
   
   
   
   
   
   
   
posted on 2024-01-25 11:44  海阔凭鱼跃越  阅读(45)  评论(0)    收藏  举报