CONTEXTIAL INSERTION FOR #3SAT

被引：0
|
作者：
Subramaniam, G. [1 ]
Siromoney, Rani [2 ,3 ]
机构：
[1] Birla Inst Technol & Sci, Ranchi, Bihar, India
[2] Chennai Math Inst, Chennai, Tamil Nadu, India
[3] Madras Christian Coll, Madras, Tamil Nadu, India
来源：
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2006年 / 88期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Even though SAT has been solved in a linear number of bio-steps, each step takes a long time mainly due to the number of gel separations and ligations. In this paper, we try to reduce the time taken by each bio-step. First, we formalize the concept of non-consistent assignments with a simple deterministic finite automaton. Then we use contextual insertion to capture the transitions of the DFA. Finally, we describe the procedure which can be used to solve both 3SAT and #3SAT with only a constant number of gel separations and no ligations at all.
引用
收藏
页码：174 / 181
页数：8
相关论文
共 50 条
  • [41] A Novel PUF based Logic Encryption Technique to Prevent SAT Attacks and Trojan Insertion
    Mobaraki, Soraya
    Amirkhani, Amirata
    Atani, Reza Ebrahimi
    2018 9TH INTERNATIONAL SYMPOSIUM ON TELECOMMUNICATIONS (IST), 2018, : 507 - 513
  • [42] THE NUMBER OF 3-SAT FUNCTIONS
    Ilinca, L.
    Kahn, J.
    ISRAEL JOURNAL OF MATHEMATICS, 2012, 192 (02) : 869 - 919
  • [43] Randomized algorithms for 3-SAT
    Hofmeister, Thomas
    Schoening, Uwe
    Schuler, Rainer
    Watanabe, Osamu
    THEORY OF COMPUTING SYSTEMS, 2007, 40 (03) : 249 - 262
  • [44] Randomized Algorithms for 3-SAT
    Thomas Hofmeister
    Uwe Schoning
    Rainer Schuler
    Osamu Watanabe
    Theory of Computing Systems, 2007, 40 : 249 - 262
  • [45] A randomized algorithm for 3-SAT
    Ghosh S.K.
    Misra J.
    Mathematics in Computer Science, 2010, 3 (4) : 421 - 431
  • [46] The number of 3-SAT functions
    L. Ilinca
    J. Kahn
    Israel Journal of Mathematics, 2012, 192 : 869 - 919
  • [47] Placing quantified variants of 3-SAT and NOT-ALL-EQUAL 3-SAT in the polynomial hierarchy
    Doecker, Janosch
    Dorn, Britta
    Linz, Simone
    Semple, Charles
    THEORETICAL COMPUTER SCIENCE, 2020, 822 : 72 - 91
  • [48] Evaluation of novel inactivated vaccines for the SAT 1, SAT 2 and SAT 3 serotypes of foot-and-mouth disease in pigs
    Jo, Hye-Eun
    You, Su-Hwa
    Choi, Joo-Hyung
    Ko, Mi-Kyeong
    Shin, Sung Ho
    Song, Jisoo
    Jo, Hyundong
    Lee, Min Ja
    Kim, Su-Mi
    Kim, Byounghan
    Park, Jong-Hyeon
    VIROLOGY JOURNAL, 2019, 16 (01)
  • [49] Evaluation of novel inactivated vaccines for the SAT 1, SAT 2 and SAT 3 serotypes of foot-and-mouth disease in pigs
    Hye-Eun Jo
    Su-Hwa You
    Joo-Hyung Choi
    Mi-Kyeong Ko
    Sung Ho Shin
    Jisoo Song
    Hyundong Jo
    Min Ja Lee
    Su-Mi Kim
    Byounghan Kim
    Jong-Hyeon Park
    Virology Journal, 16
  • [50] Towards Complete Fault Coverage by Test Point Insertion using Optimization-SAT Techniques
    Eggersgluess, Stephan
    2019 IEEE INTERNATIONAL TEST CONFERENCE IN ASIA (ITC-ASIA 2019), 2019, : 67 - 72
12345