Resolution procedures for multiple-valued optimization

DOI10.1016/J.INS.2012.12.004MaRDI QIDQ2510176zbMATH OpenOpenAlexWikidataFDO

Authors Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manya

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

maximum satisfiabilitymultiple-valued logicsoptimizationresolutionsigned logic

Mathematics Subject Classification ID

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

Recommendations

• The SAT problem of signed CNF formulas
• scientific article; zbMATH DE number 1076964
• A framework for automated reasoning in multiple-valued logics
• A logical approach to efficient Max-SAT solving
• On the refutational completeness of signed binary resolution and hyperresolution

Cited in

(5)

• On the refutational completeness of signed binary resolution and hyperresolution
• The SAT problem of signed CNF formulas
• scientific article; zbMATH DE number 1076964 (Why is no real title available?)
• 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

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