External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming

Marc Dahlem, Tripti Jain, Klaus Schneider 0001, Michael Gillmann. Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. In Marcello Balduccini, Tomi Janhunen, editors, Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Volume 10377 of Lecture Notes in Computer Science, pages 279-285, Springer, 2017. [doi]

Authors

Marc Dahlem

This author has not been identified. Look up 'Marc Dahlem' in Google

Tripti Jain

This author has not been identified. Look up 'Tripti Jain' in Google

Klaus Schneider 0001

This author has not been identified. Look up 'Klaus Schneider 0001' in Google

Michael Gillmann

This author has not been identified. Look up 'Michael Gillmann' in Google
runs on