Boolean Satisfiability: Theory and Engineering

被引：36
|
作者：
Vardi, Moshe Y.
机构：
来源：
COMMUNICATIONS OF THE ACM | 2014年 / 57卷 / 03期
关键词：
D O I：
10.1145/2578043
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 50 条
  • [11] Boolean Satisfiability for Sequence Mining
    Jabbour, Said
    Sais, Lakhdar
    Salhi, Yakoub
    [J]. PROCEEDINGS OF THE 22ND ACM INTERNATIONAL CONFERENCE ON INFORMATION & KNOWLEDGE MANAGEMENT (CIKM'13), 2013, : 649 - 657
  • [12] Fault tolerant Boolean satisfiability
    Roy, A
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2006, 25 : 503 - 527
  • [13] SUMMARIZATION OF BOOLEAN SATISFIABILITY VERIFICATION
    Qian Junyan
    Wu Juan
    Zhao Lingzhong
    Guo Yunchuan
    [J]. Journal of Electronics(China), 2014, 31 (03) : 232 - 245
  • [14] Complete on average Boolean satisfiability
    Wang, J
    [J]. JOURNAL OF COMPLEXITY, 2002, 18 (04) : 1024 - 1036
  • [15] Haplotype inference with Boolean satisfiability
    Lynce, Ines
    Marques-Silva, Joao
    [J]. INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2008, 17 (02) : 355 - 387
  • [16] Model checking with Boolean Satisfiability
    Marques-Silva, Joao
    [J]. JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2008, 63 (1-3): : 3 - 16
  • [17] Boolean satisfiability in quantum compilation
    Soeken, Mathias
    Meuli, Giulia
    Schmitt, Bruno
    Mozafari, Fereshte
    Riener, Heinz
    De Micheli, Giovanni
    [J]. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2020, 378 (2164):
  • [18] Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator
    Cantone, Domenico
    Ursino, Pietro
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2024, 25 (01)
  • [19] Determining Gene Function in Boolean Networks using Boolean Satisfiability
    Lin, Pey-Chang Kent
    Khatri, Sunil P.
    [J]. 2012 IEEE INTERNATIONAL WORKSHOP ON GENOMIC SIGNAL PROCESSING AND STATISTICS (GENSIPS), 2012, : 176 - 179
  • [20] HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY
    Letombe, Florian
    Marques-Silva, Joao
    [J]. INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2012, 21 (06)
12345