Boosting Answer Set Optimization with Weighted Comparator Networks

Jori Bomanson; Tomi Janhunen

doi:10.1017/S147106842000006X

Boosting Answer Set Optimization with Weighted Comparator Networks

Jori Bomanson, Tomi Janhunen

Computing Sciences

Research output: Contribution to journal › Article › Scientific › peer-review

2 Citations (Scopus)

Original language	English
Journal	THEORY AND PRACTICE OF LOGIC PROGRAMMING
DOIs	https://doi.org/10.1017/S147106842000006X
Publication status	Published - 2020
Publication type	A1 Journal article-refereed

Keywords

Answer Set Programming
Comparator Network
Normalization
Optimization rewriting
Translation

Publication forum classification

Publication forum level 2

Access to Document

10.1017/S147106842000006X

http://urn.fi/URN:NBN:fi:tuni-202006055941

Cite this

@article{3ddd38fb51044283b7323fb780820164,

title = "Boosting Answer Set Optimization with Weighted Comparator Networks",

keywords = "Answer Set Programming, Comparator Network, Normalization, Optimization rewriting, Translation, Answer Set Programming, Comparator Network, Normalization, Optimization rewriting, Translation",

author = "Jori Bomanson and Tomi Janhunen",

year = "2020",

doi = "10.1017/S147106842000006X",

language = "English",

journal = "THEORY AND PRACTICE OF LOGIC PROGRAMMING",

issn = "1471-0684",

publisher = "Cambridge University Press",

}

TY - JOUR

T1 - Boosting Answer Set Optimization with Weighted Comparator Networks

AU - Bomanson, Jori

AU - Janhunen, Tomi

PY - 2020

Y1 - 2020

KW - Answer Set Programming

KW - Comparator Network

KW - Normalization

KW - Optimization rewriting

KW - Translation

KW - Answer Set Programming

KW - Comparator Network

KW - Normalization

KW - Optimization rewriting

KW - Translation

U2 - 10.1017/S147106842000006X

DO - 10.1017/S147106842000006X

M3 - Article

SN - 1471-0684

JO - THEORY AND PRACTICE OF LOGIC PROGRAMMING

JF - THEORY AND PRACTICE OF LOGIC PROGRAMMING

ER -