Investigation of Maximum and Minimum Satisfiability Problems Using L-Partition

被引：0
|
作者：
A. V. Adel'shin
机构：
[1] Omsk Affiliated Institute of Mathematics,
[2] Siberian Branch,undefined
[3] Russian Academy of Sciences,undefined
来源：
Automation and Remote Control | 2004年 / 65卷
关键词：
Mechanical Engineer; System Theory; Integer Linear Programming; Satisfiability Problem; Unweighted Problem;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Problems of the maximum and the minimum satisfiability on the basis of the integer linear programming and L-partition are studied. The L-structure of polyhedrons of the problems is investigated. Families are set up of unweighted problems of the maximum and the minimum satisfiability, the powers of L-coverings of which grow exponentially with an increase in the number of variables in a formula.
引用
收藏
页码：388 / 395
页数：7
相关论文
共 50 条
  • [41] Maximum and minimum solutions for nonlinear parabolic problems with discontinuities
    Kandilakis, DA
    Papageorgiou, NS
    PROCEEDINGS OF THE INDIAN ACADEMY OF SCIENCES-MATHEMATICAL SCIENCES, 1998, 108 (02): : 179 - 187
  • [42] Synthesising Algebraic and Graphical Representations of the Maximum and the Minimum Problems
    Hong, Dae S.
    Lee, Jae Ki
    INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, 2013, 20 (04): : 157 - 167
  • [43] On the time complexity of minimum and maximum global snapshot problems
    Chen, LB
    Wu, IC
    INFORMATION PROCESSING LETTERS, 1998, 67 (03) : 151 - 156
  • [44] Solving employee timetabling problems using Boolean satisfiability
    Aloul, Fadi
    Al-Rawi, Bashar
    Al-Farra, Anas
    Al-Roh, Basel
    2006 INNOVATIONS IN INFORMATION TECHNOLOGY, 2006, : 71 - 75
  • [45] Efficient Static Compaction of Test Patterns Using Partial Maximum Satisfiability
    Zhou, Huisi
    Ouyang, Dantong
    Zhang, Liming
    TSINGHUA SCIENCE AND TECHNOLOGY, 2021, 26 (01) : 1 - 8
  • [46] Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability
    Mangassariani, Hratch
    Veneris, Andreas
    Safarpour, Sean
    Najm, Farid N.
    Abadir, Magdy S.
    2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 1538 - +
  • [47] Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability
    Mangassarian, Hratch
    Veneris, Andreas
    Najm, Farid N.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2012, 31 (02) : 271 - 284
  • [48] Efficient Static Compaction of Test Patterns Using Partial Maximum Satisfiability
    Huisi Zhou
    Dantong Ouyang
    Liming Zhang
    Tsinghua Science and Technology, 2021, 26 (01) : 1 - 8
  • [49] MINIMUM AND MAXIMUM DELAY PROBLEMS IN REAL-TIME SYSTEMS
    COURCOUBETIS, C
    YANNAKAKIS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 399 - 409
  • [50] THE COMPLEXITY OF MINIMUM CUT AND MAXIMUM FLOW PROBLEMS IN AN ACYCLIC NETWORK
    RAMACHANDRAN, V
    NETWORKS, 1987, 17 (04) : 387 - 392
12345