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 条
  • [31] Towards a Population-Based Framework for Improving Stochastic Local Search Algorithms
    Araya, Ignacio
    Perez, Leslie
    Riff, Maria-Cristina
    [J]. PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2012, : 337 - 344
  • [32] Stochastic local search algorithms for DNA word design
    Tulpan, DC
    Hoos, HH
    Condon, AE
    [J]. DNA COMPUTING, 2003, 2568 : 229 - 241
  • [33] Clause States Based Configuration Checking in Local Search for Satisfiability
    Luo, Chuan
    Cai, Shaowei
    Su, Kaile
    Wu, Wei
    [J]. IEEE TRANSACTIONS ON CYBERNETICS, 2015, 45 (05) : 1014 - 1027
  • [34] NON-CLAUSAL MULTI-ARY α-SEMANTIC RESOLUTION BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP (X)
    Liu, Y.
    Xu, Y.
    [J]. UNCERTAINTY MODELLING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2016, 10 : 453 - 458
  • [35] Instinct-based PSO with local search applied to satisfiability
    Abdelbar, AM
    Abdelshahid, S
    [J]. 2004 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-4, PROCEEDINGS, 2004, : 2291 - 2295
  • [36] Local Search Based Approximation Algorithms for Two-Stage Stochastic Location Problems
    Willamowski, Felix J. L.
    Bley, Andreas
    [J]. APPROXIMATION AND ONLINE ALGORITHMS (WAOA 2016), 2017, 10138 : 197 - 209
  • [37] Reactive Stochastic local search algorithms for the genomic median problem
    Lenne, Renaud
    Solnon, Christine
    Stutzle, Thomas
    Tannier, Eric
    Birattari, Mauro
    [J]. EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION, PROCEEDINGS, 2008, 4972 : 266 - +
  • [38] Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
    Hoos, HH
    Stützle, T
    [J]. ARTIFICIAL INTELLIGENCE, 1999, 112 (1-2) : 213 - 232
  • [39] Local Stochastic Differentiable Architecture Search for Memetic Neuroevolution Algorithms
    Karns, Joshua
    Desell, Travis
    [J]. PROCEEDINGS OF THE 2023 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION, GECCO 2023 COMPANION, 2023, : 2123 - 2127
  • [40] A comparison of stochastic local search and population based search
    Mühlenbein, H
    Mahnig, T
    [J]. CEC'02: PROCEEDINGS OF THE 2002 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, 2002, : 255 - 260
12345