Resolution and the integrality of satisfiability problems

被引：0
|
作者：
机构：
来源：
Math Program Ser A | / 1卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Solving satisfiability problems with preferences
    Emanuele Di Rosa
    Enrico Giunchiglia
    Marco Maratea
    Constraints, 2010, 15 : 485 - 515
  • [22] Exact satisfiability threshold for k-satisfiability problems on a Bethe lattice
    Krishnamurthy, Supriya
    Sumedha
    PHYSICAL REVIEW E, 2015, 92 (04):
  • [23] An Algorithm Based on Resolution for the Satisfiability Problem
    Xu, Youjun
    Ouyang, Dantong
    Ye, Yuxin
    2ND IEEE INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER CONTROL (ICACC 2010), VOL. 4, 2010, : 420 - 423
  • [24] DUAL INTEGRALITY IN B-MATCHING PROBLEMS
    PULLEYBLANK, W
    MATHEMATICAL PROGRAMMING STUDY, 1980, 12 (APR): : 176 - 196
  • [25] Satisfiability problems on intervals and unit intervals
    Tel Aviv Univ, Tel Aviv, Israel
    Theor Comput Sci, 2 (349-372):
  • [26] On some weighted satisfiability and graph problems
    Porschen, S
    SOFSEM 2005:THEORY AND PRACTICE OF COMPUTER SCIENCE, 2005, 3381 : 278 - 287
  • [27] Intermediate problems in modular circuits satisfiability
    Idziak, Pawel M.
    Kawalek, Piotr
    Krzaczkowski, Jacek
    PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 578 - 590
  • [28] Clustering of solutions in hard satisfiability problems
    Ardelius, John
    Aurell, Erik
    Krishnamurthy, Supriya
    JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2007,
  • [29] Complexity of generalized satisfiability counting problems
    Creignou, N
    Hermann, M
    INFORMATION AND COMPUTATION, 1996, 125 (01) : 1 - 12
  • [30] Satisfiability thresholds for regular occupation problems
    Panagiotou, Konstantinos
    Pasch, Matija
    COMBINATORICS PROBABILITY AND COMPUTING, 2025,
12345