劳厄，R。；Grüner，Th。；梅林格，M。；科伯，A。 分子图的约束生成。 （英语） Zbl 1092.92051号 Fajtlowicz，Siemion（编辑）等人，《图形与发现》。DIMACS工作组会议记录，来自图论和化学数据库的计算机生成猜想，2001年11月12日至16日，以及DIMACS公共事件，图论第42天，2001年10月10日，美国新泽西州皮斯卡塔韦。普罗维登斯，RI：美国数学学会（AMS）（ISBN 0-8218-3761-3/hbk）。DIMACS系统。离散数学和理论计算机科学系列69，319-331（2005）。 摘要：用计算机程序生成分子图发生了一些变化。报告中重点介绍了该过程中创建和使用的各种数学方法。没有尝试明确地陈述和证明定理，但本综述包含了相关文献的提示。特别是，描述了一种新的发电机MOLGEN 4.0，其目的是在发电过程中使用约束条件的最高灵活性，从而满足实际应用的需求。有关整个系列，请参见[Zbl 1087.05001号]. MSC公司： 92E10型 分子结构（图形理论方法、微分拓扑方法等） 2015年1月5日 精确枚举问题，生成函数 05C30号 图论中的枚举 68单位99 计算方法和应用 关键词：图形生成；同构问题；双陪集 软件：MOLGEN公司；鹦鹉螺；DENDRAL公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Laue}等人，DIMACS，序列号。离散数学。西奥。计算。科学。69319-331（2005年；兹比尔1092.92051）