Resolution procedures for multiple-valued optimization

DOI10.1016/j.ins.2012.12.004zbMath1293.03010OpenAlexW1966214922WikidataQ60512084 ScholiaQ60512084MaRDI QIDQ2510176

Felip Manyà, Maria Luisa Bonet, Carlos Ansótegui, Jordi Levy

Publication date: 1 August 2014

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2012.12.004

zbMATH Keywords

optimizationresolutionmaximum satisfiabilitymultiple-valued logicssigned logic

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Many-valued logic (03B50)

Related Items (2)

MaxSAT resolution for regular propositional logic ⋮ A first polynomial non-clausal class in many-valued logic

This page was built for publication: Resolution procedures for multiple-valued optimization