解法器快速算法及应用研讨会“主题讨论问题征集”通知
Solver研讨会公开征集主题讨论问题，征集范围包括但不限于：
l 有待解决的解法器相关理论、算法、实现及应用等问题；
l 实际应用对解法器的需求；
l 解法器研究及应用过程中的新现象和新问题；
l 对解法器相关研究进展的评论与讨论；
l 解法器相关学术交流、合作平台的建议与提议；
l 其他任何与解法器相关的问题。
讨论主题可由1人或多人联合提出，对每个入选的主题，将安排不超过5分钟主题发言（形式不限），由提议者阐述问题，然后组织讨论。主题讨论时间根据具体情况确定。