Generating "Random" 3-SAT instances with specific solution space structure

被引：0
|
作者：
Pari, PR [1 ]
Lin, J [1 ]
Yuan, L [1 ]
Qu, G [1 ]
机构：
[1] Univ Maryland, Dept Elect & Comp Engn, College Pk, MD 20742 USA
来源：
PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE | 2004年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：960 / 961
页数：2
相关论文
共 50 条
  • [1] Recognizing more unsatisfiable random 3-SAT instances efficiently
    Friedman, J
    Goerdt, A
    AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 310 - 321
  • [2] Negative slope coefficient and the difficulty of random 3-SAT instances
    Tomassini, Marco
    Vanneschi, Leonardo
    APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS, 2008, 4974 : 643 - +
  • [3] Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances
    Rodriguez-Farres, Pol
    Ballester, Rocco
    Ansotegui, Carlos
    Levy, Jordi
    Cerquides, Jesus
    COMPUTATIONAL SCIENCE, ICCS 2024, PT VI, 2024, 14937 : 277 - 291
  • [4] HyperSAT a new generator for 3-SAT instances
    Segura-Salazar, J
    Torres-Jiménez, J
    ICCIMA 2001: FOURTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND MULTIMEDIA APPLICATIONS, PROCEEDINGS, 2001, : 323 - 327
  • [5] Generating SAT instances with community structure
    Giraldez-Cru, Jesus
    Levy, Jordi
    ARTIFICIAL INTELLIGENCE, 2016, 238 : 119 - 134
  • [6] Computational complexity of some restricted instances of 3-SAT
    Berman, Piotr
    Karpinski, Marek
    Scott, Alexander D.
    DISCRETE APPLIED MATHEMATICS, 2007, 155 (05) : 649 - 653
  • [7] The maximum length of prime implicates for instances of 3-SAT
    Dunne, PE
    BenchCapon, TJM
    ARTIFICIAL INTELLIGENCE, 1997, 92 (1-2) : 317 - 329
  • [8] Random 3-SAT: The Plot Thickens
    Cristian Coarfa
    Demetrios D. Demopoulos
    Alfonso San Miguel Aguirre
    Devika Subramanian
    Moshe Y. Vardi
    Constraints, 2003, 8 : 243 - 261
  • [9] Hidden structure in unsatisfiable random 3-SAT: an empirical study
    Lynce, I
    Marques-Silva, J
    ICTAI 2004: 16TH IEEE INTERNATIONALCONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, : 246 - 251
  • [10] Random 3-SAT: The plot thickens
    Coarfa, C
    Demopoulos, DD
    Aguirre, AS
    Subramanian, D
    Vardi, MY
    CONSTRAINTS, 2003, 8 (03) : 243 - 261
12345