Symmetry Breaking for Maximum Satisfiability

DOI10.1007/978-3-540-89439-1_1zbMath1182.68257OpenAlexW1801196578MaRDI QIDQ5505539

Inês Lynce, João P. Marques-Silva, Vasco M. Manquinho

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/266608/1/jpms-lpar08.pdf

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Constraint-based electoral districting using a new compactness measure: an application to Portugal

This page was built for publication: Symmetry Breaking for Maximum Satisfiability