MaxSAT-Based Scheduling of B2B Meetings

DOI10.1007/978-3-319-18008-3_5zbMath1459.68188OpenAlexW806644876WikidataQ57979688 ScholiaQ57979688MaRDI QIDQ5741457

Miquel Bofill, Josep Suy, Mateu Villaret, Marc Garcia

Publication date: 25 July 2016

Published in: Integration of AI and OR Techniques in Constraint Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-18008-3_5

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Approximation methods and heuristics in mathematical programming (90C59) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Modeling and solving staff scheduling with partial weighted maxSAT ⋮ Proofs and Certificates for Max-SAT