马克·达勒姆;Bhagyanath，阿诺普;克劳斯·施耐德 ASP对带有缓冲处理单元的公开数据路径体系结构进行优化调度。 （英语） Zbl 1451.68029号 理论与实践。日志。程序。 18，编号3-4，438-451（2018）.MSC公司：2007年7月68日 68平方米 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Dahlem}等人，《理论与实践》。日志。程序。18、编号3--4、438--451（2018；Zbl 1451.68029） 全文： 内政部 arXiv公司
马克·达勒姆;特里普蒂·杰恩;克劳斯·施耐德;迈克尔·吉尔曼 通过答案集编程自动合成最佳尺寸的集中器。 （英语） Zbl 1491.68069号 Baldcucini，Marcelo（编辑）等人，《逻辑编程与非单调推理》。2017年7月3日至6日，第14届国际会议，LPNMR 2017，芬兰埃斯波。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 279-285 (2017).MSC公司：2006年第68季度 68N17号 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{M.Dahlem}等人，Lect。注释计算。科学。10377、279--285（2017；Zbl 1491.68069） 全文： 内政部