{"article":{"@attributes":{"key":"journals\/jar\/CortesLM26","mdate":"2026-03-03"},"author":["Jo\u00e3o Cortes","In\u00eas Lynce","Vasco Manquinho"],"title":"Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization.","year":"2026","month":"June","pages":"3","volume":"70","journal":"J. Autom. Reason.","number":"1","ee":"https:\/\/doi.org\/10.1007\/s10817-026-09749-w","url":"db\/journals\/jar\/jar70.html#CortesLM26","stream":"streams\/journals\/jar"}}