MaxSAT-based scheduling of B2B meetings

DOI10.1007/978-3-319-18008-3_5MaRDI QIDQ5741457zbMATH OpenOpenAlexWikidataFDO

Authors Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret

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

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

Recommendations

• A comparative study of MIP and CP formulations for the B2B scheduling optimization problem
• Modeling and solving staff scheduling with partial weighted maxSAT
• Curriculum-based course timetabling with SAT and MaxSAT
• Automatic scheduling of periodic event networks by SAT solving
• SAT-based MaxSAT algorithms

Cited in

(4)

• Modeling and solving staff scheduling with partial weighted maxSAT
• Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem
• A comparative study of MIP and CP formulations for the B2B scheduling optimization problem
• Proofs and Certificates for Max-SAT

This page was built for publication: MaxSAT-based scheduling of B2B meetings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5741457)