Resolution procedures for multiple-valued optimization-Reference-Cited by-同舟云学术

Resolution procedures for multiple-valued optimization

Published:2013-04 Issue: Volume:227 Page:43-59
ISSN:0020-0255
Container-title:Information Sciences
language:en
Short-container-title:Information Sciences

Author:

Ansótegui Carlos,Bonet María Luisa,Levy Jordi,Manyà Felip

Publisher

Elsevier BV

Subject

Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software

Reference29 articles.

1. Inference rules for high-order consistency in weighted CSP;Ansótegui,2007

2. C. Ansótegui, M.L. Bonet, J. Levy, F. Manyà, The logic behind weighted CSP, in: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence, IJCAI-07, 2007, pp. 32–37.

3. Exploiting multivalued knowledge in variable selection heuristics for sat solvers;Ansótegui;Annals of Mathematics and Artificial Intelligence,2007

4. Resolution-based theorem proving for many-valued logics;Baaz;Journal of Symbolic Computation,1995

5. The SAT problem of signed CNF formulas;Beckert,2000

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Tableau Calculus for Non-Clausal Regular MaxSAT;2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL);2024-05-28

2. MaxSAT resolution for regular propositional logic;International Journal of Approximate Reasoning;2023-11

3. A Tableau Calculus for Signed Maximum Satisfiability;2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL);2023-05

4. A first polynomial non-clausal class in many-valued logic;Fuzzy Sets and Systems;2023-03

5. Inference in MaxSAT and MinSAT;The Logic of Software. A Tasting Menu of Formal Methods;2022