- 2024-09-09CCF推荐B类会议和期刊总结：（计算机体系结构/并行与分布计算/存储系统领域）
目录前言B类会议1.SoCC2.SPAA3.PODC4.FPGA5.CGO6.DATE7.HOTCHIPS8.CLUSTER9.ICCD10.ICCAD11.ICDCS12.CODES+ISSS13.HiPEAC14.SIGMETRICS15.PACT16.ICPP17.ICS18.VEE19.IPDPS20.Performance21.HPDC22.ITC23.LISA24.MSST25
- 2024-05-15DBLP 简单使用
1.访问DBLP网站https://dblp.org/2.在搜索框输入关键词这里我想搜寻ICML2023中关于小样本的论文所以输入ICML点击这个超链接进入ICML页面可以看到历年的ICML信息，点击contents展开查看该年的所有内容在该页面ctrl+f输入few-shot即可迅速的找到所有和小样本有关系的文章
- 2024-04-11重启策略出处文献
CarlaP.Gomes, BartSelman, NunoCrato:Heavy-Tailed Distributions in Combinatorial Search. CP 1997: 121-135 @inproceedings{DBLP:conf/cp/GomesSC97,author={CarlaP.GomesandBartSelmanand
- 2024-02-24体系结构领域的CCF类期刊
CCF-A期刊1 TOCS ACMTransactionsonComputerSystems ACMhttp://dblp.uni-trier.de/db/journals/tocs/2 TOS ACMTransactionsonStorage ACMhttp://dblp.uni-trier.de/db/journals/tos/3 TCAD IEEETransactionsonComputer-AidedDesignofIntegratedCircuitsan
- 2024-02-08SAT及其能解决的问题及其文献
%SAT及其能解决的问题TheCDCLSATsolverisanimportanttoolforsolvinglargereal-worldproblems,andhasbeenwidelyusedinsoftwaredebugging,designverification,cryptography,artificialintelligenceandotherfields.Thepowerfulcapabiliti
- 2024-01-25cnf结构探索与应用的文献-归入cmt标签
@inproceedings{DBLP:conf/gcai/JamaliM17,author={SimaJamaliandDavidMitchell},editor={ChristophBenzm{\"{u}}llerandChristineL.LisettiandMartinTheobald},t
- 2024-01-20有关子句化简(Clause simplification)的文献
一、2021、2022年之前化简文献2021-2022李初明老师团队的文章《BranchingStrategySelectionApproachBasedonVivificationRatio》提到了关于化简的相关文献。 子句简化的方法可分为预处理和中处理两种。最有效的预处理技术包括Bounded的变体变量消除，冗余从句的添