SATISFIABILITY TESTING IN THE CONTEXT OF HYPERGRAPHS

被引：0
|
作者：
Hvalica, Dusan [1 ]
机构：
[1] Univ Ljubljana, Fac Econ, Ljubljana 61000, Slovenia
来源：
PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH SOR 09 | 2009年
关键词：
satisfiability; hypergraph; supporting bundle; FORMULAS;
D O I：
暂无
中图分类号：
C93 [管理学]; O22 [运筹学];
学科分类号：
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要：
An algorithm for searching for supporting bundles is described, which allows for solving instances of SAT in the context of hypergraphs.
引用
收藏
页码：93 / 99
页数：7
相关论文
共 50 条
  • [1] HYPERGRAPHS AND SATISFIABILITY
    Hvalica, Dusan
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH SOR 09, 2009, : 85 - 92
  • [2] Horn renamability testing in the context of hypergraphs
    Hvalica, Dusan
    SOR'07: PROCEEDINGS OF THE 9TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH IN SLOVENIA, 2007, : 51 - 56
  • [3] Testing satisfiability
    Alon, N
    Shapira, A
    PROCEEDINGS OF THE THIRTEENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2002, : 645 - 654
  • [4] Efficient testing of hypergraphs
    Kohayakawa, Y
    Nagle, B
    Rödl, V
    AUTOMATA, LANGUAGES AND PROGRAMMING, 2002, 2380 : 1017 - 1028
  • [5] Algorithms for Testing Satisfiability Formulas
    Marin Vlada
    Artificial Intelligence Review, 2001, 15 : 153 - 163
  • [6] Algorithms for testing satisfiability formulas
    Vlada, M
    ARTIFICIAL INTELLIGENCE REVIEW, 2001, 15 (03) : 153 - 163
  • [7] Diagnosability Testing with Satisfiability Algorithms
    Rintanen, Jussi
    Grastien, Alban
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 532 - 537
  • [8] Testing XML constraint satisfiability
    Bidoit, Nicole
    Colazzo, Dario
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (06) : 45 - 61
  • [9] Requirements Satisfiability with In-Context Learning
    Santos, Sarah
    Breaux, Travis
    Norton, Thomas
    Haghighi, Sara
    Ghanavati, Sepideh
    32ND IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, RE 2024, 2024, : 168 - 179
  • [10] TESTING COMMUNITY STRUCTURE FOR HYPERGRAPHS
    Yuan, Mingao
    Liu, Ruiqi
    Feng, Yang
    Shang, Zuofeng
    ANNALS OF STATISTICS, 2022, 50 (01): : 147 - 169
12345