Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming

被引：2

作者：

Dahlem, Marc ^{[1
]}

Jain, Tripti ^{[2
]}

Schneider, Klaus ^{[2
]}

Gillmann, Michael ^{[1
]}

机构：

[1] Insiders Technol GmbH, Kaiserslautern, Germany

[2] Univ Kaiserslautern, Dept Comp Sci, Kaiserslautern, Germany

来源：

LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017 | 2017年 / 10377卷

关键词：

SUPERCONCENTRATORS; NETWORKS;

D O I：

10.1007/978-3-319-61660-5_25

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

A concentrator is a circuit with N inputs and M <= N outputs that can route any given subset of K <= M valid inputs to K of its M outputs. Concentrator circuits are important building blocks of many parallel algorithms. The design of optimal concentrator circuits is however a challenging task that has already been considered in many research papers. In this paper, we show how answer set programming can be used to automatically generate concentrator circuits of provably optimal size.

引用

页码：279 / 285

页数：7

共 50 条

[1] Automatic music composition using answer set programming
Boenn, Georg
Brain, Martin
De Vos, Marina
Ffitch, John
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 397 - 427
[2] Generating Optimal Code Using Answer Set Programming
Crick, Tom
Brain, Martin
De Vos, Marina
Fitch, John
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 554 - 559
[3] Learning Optimal Chain Graphs with Answer Set Programming
Sonntag, Dag
Jarvisalo, Matti
Pena, Jose M.
Hyttinen, Antti
[J]. UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2015, : 822 - 831
[4] Optimal-size problem kernels for d-Hitting Set in linear time and space
van Bevern, Rene
Smirnov, Pavel V.
[J]. INFORMATION PROCESSING LETTERS, 2020, 163
[5] Using answer set programming for the automatic compilation of assessment tests
Schwaiger, Petra
Reitag, Burkhard
[J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 300 - 314
[6] Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
Boenn, Georg
Brain, Martin
De Vos, Marina
Ffitch, John
[J]. LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 160 - +
[7] Answer Set Programming
Marek, Victor W.
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (03) : 432 - 434
[8] Answer Set Programming
Janhunen, Tomi
[J]. KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 125 - 131
[9] Answer Set Programming
Schaub, Torsten
[J]. Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
[10] Symbolic System Synthesis Using Answer Set Programming
Andres, Benjamin
Gebser, Martin
Schaub, Torsten
Haubelt, Christian
Reimann, Felix
Glass, Michael
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 79 - 91

← 1 2 3 4 5 →