Polarity-based Stochastic local search algorithms for non-clausal satisfiability

被引：0
|
作者：
Stachniak, Z [1 ]
机构：
[1] York Univ, N York, ON M3J 1P3, Canada
来源：
BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC | 2003年 / 114卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper discusses the use of polarity to guide a stochastic local search for a satisfying assignment for a free-form formula of a finitely-valued propositional logic.
引用
收藏
页码：181 / 192
页数：12
相关论文
共 50 条
  • [1] Speeding-up non-clausal local search for propositional satisfiability with clause learning
    Stachniak, Zbigniew
    Belov, Anton
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, 2008, 4996 : 257 - 270
  • [2] Justification-Based Non-Clausal Local Search for SAT
    Jarvisalo, Matti
    Junittila, Tommi
    Niemela, Ilkka
    [J]. ECAI 2008, PROCEEDINGS, 2008, 178 : 535 - +
  • [3] A Tableau Calculus for Non-clausal Maximum Satisfiability
    Li, Chu Min
    Manya, Felip
    Ramon Soler, Joan
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2019, 2019, 11714 : 58 - 73
  • [4] A SATISFIABILITY TESTER FOR NON-CLAUSAL PROPOSITIONAL CALCULUS
    VANGELDER, A
    [J]. INFORMATION AND COMPUTATION, 1988, 79 (01) : 1 - 21
  • [5] A SATISFIABILITY TESTER FOR NON-CLAUSAL PROPOSITIONAL CALCULUS
    VANGELDER, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 101 - 112
  • [6] Satisfiability checking of non-clausal formulas using general matings
    Jain, Himanshu
    Bartzis, Constantinos
    Clarke, Edmund
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, 2006, 4121 : 75 - 89
  • [7] Solving non-clausal formulas with DPLL search
    Thiffault, C
    Bacchus, F
    Walsh, T
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2004, PROCEEDINGS, 2004, 3258 : 663 - 678
  • [8] Solving satisfiability problems by fluctuations: The dynamics of stochastic local search algorithms
    Barthel, W
    Hartmann, AK
    Weigt, M
    [J]. PHYSICAL REVIEW E, 2003, 67 (06):
  • [9] Graph Based Representations SAT Solving for Non-clausal Formulas
    Xie, Ruiyun
    Hai, Benzhai
    [J]. ADVANCES IN ELECTRONIC COMMERCE, WEB APPLICATION AND COMMUNICATION, VOL 2, 2012, 149 : 9 - +
  • [10] Complete Boolean Satisfiability Solving Algorithms Based on Local Search
    Guo, Wen-Sheng
    Yang, Guo-Wu
    Hung, William N. N.
    Song, Xiaoyu
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013, 28 (02) : 247 - 254
12345