Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

From MaRDI portal
Publication:487655

DOI10.1007/s10601-012-9131-1zbMath1309.90083OpenAlexW1981106240WikidataQ57979694 ScholiaQ57979694MaRDI QIDQ487655

Josep Suy, Miquel Bofill, Mateu Villaret, Carlos Ansótegui, Miquel Palahí

Publication date: 22 January 2015

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-012-9131-1




Related Items


Uses Software


Cites Work