Resolution and the integrality of satisfiability problems

被引：0
|
作者：
机构：
来源：
Math Program Ser A | / 1卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Lower bounds for linear satisfiability problems
    Erickson, J
    CHICAGO JOURNAL OF THEORETICAL COMPUTER SCIENCE, 1999, (08): : 1 - 28
  • [32] Branch Location Problems with Maximum Satisfiability
    Zaikin, Oleg
    Ignatiev, Alexey
    Marques-Silva, Joao
    ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 379 - 386
  • [33] Spanning trees in random satisfiability problems
    Ramezanpour, A.
    Moghimi-Araghi, S.
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2006, 39 (18): : 4901 - 4909
  • [34] CNF Satisfiability in a Subspace and Related Problems
    Arvind, V
    Guruswami, Venkatesan
    ALGORITHMICA, 2022, 84 (11) : 3276 - 3299
  • [35] Robust Satisfiability of Constraint Satisfaction Problems
    Barto, Libor
    Kozik, Marcin
    STOC'12: PROCEEDINGS OF THE 2012 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2012, : 931 - 940
  • [36] Optimal testing for planted satisfiability problems
    Berthet, Quentin
    ELECTRONIC JOURNAL OF STATISTICS, 2015, 9 (01): : 298 - 317
  • [37] CNF Satisfiability in a Subspace and Related Problems
    V. Arvind
    Venkatesan Guruswami
    Algorithmica, 2022, 84 : 3276 - 3299
  • [38] Complexity of Generalized Satisfiability Counting Problems
    Dept. de Mathématiques, Université de Caen, 14032 Caen, France
    不详
    Inf Comput, 1 (1-12):
  • [39] The Satisfiability and Validity Problems for Probabilistic CTL
    Kucera, Antonin
    REACHABILITY PROBLEMS, RP 2024, 2024, 15050 : 9 - 18
  • [40] Relaxation in graph coloring and satisfiability problems
    Svenson, P
    Nordahl, MG
    PHYSICAL REVIEW E, 1999, 59 (04) : 3983 - 3999
12345