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 条
  • [21] SOLVING JOB SHOP PROBLEMS IN THE CONTEXT OF HYPERGRAPHS
    Hvalica, Dusan
    SOR'11 PROCEEDINGS: THE 11TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH IN SLOVENIA, 2011, : 61 - 66
  • [22] Partitioning methods for satisfiability testing on large formulas
    Park, TJ
    Van Gelder, A
    INFORMATION AND COMPUTATION, 2000, 162 (1-2) : 179 - 184
  • [23] Satisfiability testing: Recent developments and challenge problems
    Selman, B
    15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 178 - 178
  • [24] Satisfiability testing for boolean formulas using Δ-trees
    Gutiérrez G.
    De Guzmán I.P.
    Martínez J.
    Ojeda-Aciego M.
    Valverde A.
    Studia Logica, 2002, 72 (1) : 85 - 112
  • [25] Critical behavior in the computational cost of satisfiability testing
    Selman, B
    Kirkpatrick, S
    ARTIFICIAL INTELLIGENCE, 1996, 81 (1-2) : 273 - 295
  • [26] Testing the Satisfiability of Formulas in Separation Logic with Permissions
    Peltier, Nicolas
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 427 - 445
  • [27] Analysis and Extension of the Inc* on the Satisfiability Testing Problem
    Bader-El-Den, Mohamed
    Poli, Riccardo
    2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8, 2008, : 3342 - 3349
  • [28] A group testing problem for hypergraphs of bounded rank
    Triesch, E
    DISCRETE APPLIED MATHEMATICS, 1996, 66 (02) : 185 - 188
  • [29] Statistical Limits for Testing Correlation of Random Hypergraphs
    Yuan, Mingao
    Shang, Zuofeng
    ALEA-LATIN AMERICAN JOURNAL OF PROBABILITY AND MATHEMATICAL STATISTICS, 2024, 21 : 465 - 489
  • [30] Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
    Nanba, Toru
    Tsuchiya, Tatsuhiro
    Kikuno, Tohru
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2012, E95A (09) : 1501 - 1505
12345