在哪里寻求研究/出版方面的帮助？

我已经开发了一段时间的SAT算法，并且已经达到想要共享它的地步。我在计算机科学领域认识的人并不多，而且我不确定确切的方向。

我想知道有哪些资源可供正在考虑发布算法的人员使用。我还需要帮助来分析算法的运行时间和正确性。

我的主要问题是分析运行时。我需要对此进行详细分析的帮助。我相当确定该算法是正确的，但是如果有人也对此进行验证，将会很有帮助。

那么，有谁愿意分析我的算法？此外，什么样的资源可用于此类任务？

如果您的SAT算法是实用的，则应在其上运行SAT竞赛基准。如果您可以证明您的方法与现有的求解器相比具有竞争力，那么SAT求解社区将更加重视您的工作。您的求解器不必比每个求解器都快，也不必求解更多实例，但是它应该是一个认真的竞争对手。您不需要运行速度很快或功能强大的计算机即可运行基准测试；您可以简单地将运行时与MiniSAT或PicoSAT之类的免费SAT解算器之一进行比较。这些求解器还将使您看到答案应该是什么样子。

如果您正在研究使用新技术的实用求解器，而您的方法还没有竞争力，那么我仍然建议您尝试这些基准测试。他们将帮助您了解应解决的问题类型以及应实现的性能。您可能还需要阅读《满意度手册》中的某些关键章节，或最近的调查

• Knot Pipatsrisawat和Adnan Darwiche，《现代子句学习的可满足性求解》，《自动推理杂志》，第 44277–301页，2010年。（PDF）

查看支持主要求解器的各种参数。如果您有尚未解决的新想法和最佳求解器，还需要解决这些问题，那么您需要向知道长期理论推理从而导致当前“最佳”问题的人解释这种方法的潜在优势。实践”设计决策。

如果您的贡献仅是理论上的，那么您需要了解该领域的许多论文，并在论文中解释为什么您的方法至少在某种程度上会更好。看看例如Amin Coja-Oghlan或Alan Frieze的最新作品，以了解最新技术并获得对重要论文的有用指导。

由于您现在想共享算法，因此我个人的建议如下：建立一个非常简单的网站。该网站应提供以下两点：

1. 该算法的源代码。
2. 简要描述您的方法的文档。您的方法有何不同？它背后的新想法是什么？该文档不需要是写得很完美的技术论文，也不需要包含任何正式的证明：PowerPoint演示文稿就足以“传达”您的想法的核心。请向我们解释为什么您认为您的算法与众不同。也许这是独一无二的，谁知道。

1. 您可以将您的想法以标准的纸张格式写下。
2. 将其发布在ArXiv上。
3. 在github上共享源代码。
4. 花一些时间来学习运行时分析并在完成后更新论文。

例如，您可以写一份调查报告，最后建议您的解决方案是一种有希望的新方法。但是，如果没有正确性和运行时间分析的证明，没有多少人会认真对待它（但是有些人会这样做）。