Solving the Team Composition Problem in a Classroom

DOI10.3233/FI-2020-1933zbMath1471.68254OpenAlexW3025701216MaRDI QIDQ5134294

Santiago Negrete, Carme Roig, Joan Ramon Soler, Felip Manyà

Publication date: 16 November 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2020-1933

zbMATH Keywords

NP-hardnessencodingMaxSAToptimization solverteam creation

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Agent technology and artificial intelligence (68T42)

Related Items (2)

MaxSAT resolution for regular propositional logic ⋮ Proofs and Certificates for Max-SAT

This page was built for publication: Solving the Team Composition Problem in a Classroom