为响应论文征集,共提交了382篇论文。 ,其中之一随后被撤回。计划委员会接受了139份意见书,其中包括四对论文,随后将其合并。会议论文集共137篇,会议论文135篇。这些决定基于创意,技术贡献和相关性。除了计划委员会成员外,社区的400多名成员还通过审查论文为甄选过程做出了贡献;这些研究人员中有许多审查了许多不同的意见。尽管已尽一切努力核实主要索赔,但未正式参考提交材料。预计大多数被接受的论文将以更完整的形式出现在科学期刊上。
机译:满足随机常规K-SAT公式的令人满意的数量
机译:计算有界树宽或集团宽度公式的真值分配
机译:随机布尔公式中的SAT分配对
机译:计算随机K-SAT公式的良好真相分配
机译:贝叶斯方法在I期试验和小型N顺序多分配随机试验
机译:解决随机K-SAT问题的回溯测量传播算法
机译:计算随机k-saT公式的良好真值分配