A Compact and Efficient SAT-Encoding of Finite Domain CSP

被引：0
|
作者：
Tanjo, Tomoya [1 ]
Tamura, Naoyuki [2 ]
Banbara, Mutsunori [2 ]
机构：
[1] Kobe Univ, Grad Sch Engn, Kobe, Hyogo, Japan
[2] Kobe Univ, Informat Sci & Technol Ctr, Kobe, Hyogo, Japan
来源：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011 | 2011年 / 6695卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：375 / 376
页数：2
相关论文
共 50 条
  • [1] A Compact and Efficient SAT Encoding for Quantum Circuits
    Wille, Robert
    Przigoda, Nils
    Drechsler, Rolf
    AFRICON, 2013, 2013, : 748 - 753
  • [2] The log-support encoding of CSP into SAT
    Gavanelli, Marco
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007, 2007, 4741 : 815 - 822
  • [3] Compiling finite linear CSP into SAT
    Naoyuki Tamura
    Akiko Taga
    Satoshi Kitagawa
    Mutsunori Banbara
    Constraints, 2009, 14 : 254 - 272
  • [4] Compiling finite linear CSP into SAT
    Tamura, Naoyuki
    Taga, Akiko
    Kitagawa, Satoshi
    Banbara, Mutsunori
    CONSTRAINTS, 2009, 14 (02) : 254 - 272
  • [5] Compiling finite linear CSP into SAT
    Tamura, Naoyuki
    Taga, Akiko
    Kitagawa, Satoshi
    Banbara, Mutsunori
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006, 2006, 4204 : 590 - 603
  • [6] The Order Encoding: From Tractable CSP to Tractable SAT
    Petke, Justyna
    Jeavons, Peter
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 2011, 6695 : 371 - 372
  • [7] SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints
    Lardeux, Frederic
    Monfroy, Eric
    Saubion, Frederic
    Crawford, Broderick
    Castro, Carlos
    MICAI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5845 : 360 - +
  • [8] Encoding Max-CSP into Partial Max-SAT
    Argelich, Josep
    Cabiscol, Alba
    Lynce, Ines
    Manya, Felip
    38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008), 2008, : 106 - 111
  • [9] A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings
    Soh, Takehide
    Banbara, Mutsunori
    Tamura, Naoyuki
    2015 IEEE 27TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2015), 2015, : 421 - 428
  • [10] An Efficient SAT Encoding of Circuit Codes
    Chebiryak, Yury
    Kroening, Daniel
    2008 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS, VOLS 1-3, 2008, : 1235 - +
12345