Institut fur Informatik, Technische Universitat Miinchen;
机译:基于智能设计与制造的运动学结构枚举图混合同构方法
机译:基于智能设计与制造的运动学结构枚举图混合同构方法
机译:Lambert映射模素幂的有向图的循环:枚举和应用
机译:验证平面图的高效枚举Modulo同构
机译:Cayley图的枚举,同构和汉密尔顿性:2生成和三次。
机译:具有给定路径频率的单环化学图的有效枚举
机译:迈向所有驯服平面图的验证枚举
机译:有限平面中拉丁方与有象检测的计数