Solving the SAT problem with the string multiset rewriting calculus

被引：0
|
作者：
Péter Battyányi
机构：
[1] University of Debrecen,Department of Computer Science, Faculty of Informatics
来源：
Computing | 2024年 / 106卷
关键词：
String multiset rewriting; Biologically motivated computing; SAT-problem; 68Q07; 68Q42; 68Q85;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper, we develop computing machinery within the framework of the String Multiset Rewriting calculus (SMSR), as defined by Barbuti et al. [4], to solve the SAT problem in linear time regarding the number of variables of a given conjunctive normal form. This shows that SMSR can be considered a computational model capable of significantly reducing the time requirement of classical decision problems.
引用
收藏
页码：1321 / 1334
页数：13
相关论文
共 50 条
  • [21] Solving the decompactification problem in string theory
    Kiritsis, E.
    Kounnas, C.
    Petropoulos, P. M.
    Rizos, J.
    Physics Letters. Section B: Nuclear, Elementary Particle and High-Energy Physics, 385 (1-4):
  • [22] Solving the decompactification problem in string theory
    Kiritsis, E
    Kounnas, C
    Petropoulos, PM
    Rizos, J
    PHYSICS LETTERS B, 1996, 385 (1-4) : 87 - 95
  • [23] On representing biological systems through multiset rewriting
    Bistarelli, S
    Cervesato, I
    Lenzini, G
    Marangoni, R
    Martinelli, F
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003, 2003, 2809 : 415 - 426
  • [24] Lifted Bayesian Filtering in Multiset Rewriting Systems
    Luedtke, Stefan
    Kirste, Thomas
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2020, 69 : 1203 - 1254
  • [25] Parallel Multiset Rewriting Systems with Distorted Rules
    Sburlan, Cristina
    Sburlan, Dragos-Florin
    PROCESSES, 2021, 9 (02) : 1 - 11
  • [26] Solving data clustering problem as a string search problem
    Olman, V
    Xu, D
    Xu, Y
    STATISTICAL DATA MINING AND KNOWLEDGE DISCOVERY, 2004, : 415 - 432
  • [27] Quasiphysical and quasisociological algorithm Solar for solving SAT problem
    黄文奇
    金人超
    Science in China(Series E:Technological Sciences), 1999, (05) : 485 - 493
  • [28] Multiset rewriting over Fibonacci and Tribonacci numbers
    Kanovich, Max
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2014, 80 (06) : 1138 - 1151
  • [29] Maximally Parallel Probabilistic Semantics for Multiset Rewriting
    Barbuti, Roberto
    Levi, Francesca
    Milazzo, Paolo
    Scatena, Guido
    FUNDAMENTA INFORMATICAE, 2011, 112 (01) : 1 - 17
  • [30] Quasiphysical and quasisociological algorithm Solar for solving SAT problem
    Wenqi Huang
    Renchao Jin
    Science in China Series E: Technological Sciences, 1999, 42 : 485 - 493
12345