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 条
  • [1] Investigation of maximum and minimum satisfiability problems using L-partition
    Adel'shin, AV
    AUTOMATION AND REMOTE CONTROL, 2004, 65 (03) : 388 - 395
  • [2] ANALYSIS OF THE KNAPSACK-PROBLEM USING L-PARTITION
    KOLOKOLOV, AA
    TSEPKOVA, EV
    CYBERNETICS, 1991, 27 (02): : 207 - 214
  • [3] On the approximability of maximum and minimum edge clique partition problems
    Dessmark, Anders
    Lingas, Andrzej
    Lundell, Eva-Marta
    Persson, Mia
    Jansson, Jesper
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2007, 18 (02) : 217 - 226
  • [4] ANALYSIS AND SOLUTION OF DISCRETE OPTIMIZATION PROBLEMS WITH LOGICAL CONSTRAINTS ON THE BASE OF L-PARTITION APPROACH
    Adelshin, A. V.
    Kolokolov, A. A.
    PRIKLADNAYA DISKRETNAYA MATEMATIKA, 2015, 30 (04): : 100 - 108
  • [5] Clause tableaux for maximum and minimum satisfiability
    Argelich, Josep
    Li, Chu Min
    Manya, Felip
    Soler, Joan Ramon
    LOGIC JOURNAL OF THE IGPL, 2021, 29 (01) : 7 - 27
  • [6] Analysis of integer programming algorithms with L-partition and unimodular transformations
    Kolokolov, A. A.
    Orlovskaya, T. G.
    Rybalka, M. F.
    AUTOMATION AND REMOTE CONTROL, 2012, 73 (02) : 369 - 380
  • [7] Analysis of integer programming algorithms with L-partition and unimodular transformations
    A. A. Kolokolov
    T. G. Orlovskaya
    M. F. Rybalka
    Automation and Remote Control, 2012, 73 : 369 - 380
  • [8] THE STRUCTURE OF THE L-PARTITION FOR THE 2ND PERFECT LATTICE
    RYSKOV, SS
    SUSBAEV, SS
    MATHEMATICS OF THE USSR-SBORNIK, 1981, 116 (02): : 195 - 206
  • [9] On Reducing Maximum Independent Set to Minimum Satisfiability
    Ignatiev, Alexey
    Morgado, Antonio
    Marques-Silva, Joao
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, 2014, 8561 : 103 - 120
  • [10] Solving disjunctive temporal problems with preferences using maximum satisfiability
    Maratea, Marco
    Pulina, Luca
    AI COMMUNICATIONS, 2012, 25 (02) : 137 - 156
12345