From Single-Objective to Bi-Objective Maximum Satisfiability Solving

C Jabs; J Berg; Andreas Niskanen; M Järvisalo

doi:10.1613/jair.1.15333

From Single-Objective to Bi-Objective Maximum Satisfiability Solving

C Jabs, J Berg, Andreas Niskanen, M Järvisalo

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Originalspråk	engelska
Tidskrift	Journal of Artificial Intelligence Research
Volym	80
Sidor (från-till)	1223-1269
Antal sidor	47
ISSN	1076-9757
DOI	https://doi.org/10.1613/jair.1.15333
Status	Publicerad - aug. 2024
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

10.1613/jair.1.15333Licens: CC BY

SolvingSlutlig publicerad version, 1,94 MBLicens: CC BY

Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Projektledare), Conati, A. F. (deltagare), Eskelinen, V. (deltagare), Feyzbakhsh Rankooh, M. (deltagare), Jabs, C. J. (deltagare) & Lehtonen, T. (deltagare)
Finlands Akademi
01/09/2023 → 31/08/2027
Projekt: Finlands Akademi: Akademiprojektsbidrag

Citera det här

@article{02b32af6ca0f497ab4596ff7f1f26c20,

title = "From Single-Objective to Bi-Objective Maximum Satisfiability Solving",

keywords = "113 Computer and information sciences",

author = "C Jabs and J Berg and Andreas Niskanen and M J{\"a}rvisalo",

year = "2024",

month = aug,

doi = "10.1613/jair.1.15333",

language = "English",

volume = "80",

pages = "1223--1269",

journal = "Journal of Artificial Intelligence Research",

issn = "1076-9757",

publisher = "Morgan Kaufmann Publishers",

}

TY - JOUR

T1 - From Single-Objective to Bi-Objective Maximum Satisfiability Solving

AU - Jabs, C

AU - Berg, J

AU - Niskanen, Andreas

AU - Järvisalo, M

PY - 2024/8

Y1 - 2024/8

KW - 113 Computer and information sciences

U2 - 10.1613/jair.1.15333

DO - 10.1613/jair.1.15333

M3 - Article

SN - 1076-9757

VL - 80

SP - 1223

EP - 1269

JO - Journal of Artificial Intelligence Research

JF - Journal of Artificial Intelligence Research

ER -

From Single-Objective to Bi-Objective Maximum Satisfiability Solving

Vetenskapsgrenar

Åtkomst av dokument

Projekt

Next-generation Unsatisfiabillity-based Declarative Optimization

Citera det här