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 条
  • [31] Solving satisfiability problems using reconfigurable computing
    Suyama, T
    Yokoo, M
    Sawada, H
    Nagoya, A
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2001, 9 (01) : 109 - 116
  • [32] Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability
    Feng, Yu
    Bastani, Osbert
    Martins, Ruben
    Dillig, Isil
    Anand, Saswat
    24TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2017), 2017,
  • [33] Cause Clue Clauses: Error Localization using Maximum Satisfiability
    Jose, Manu
    Majumdar, Rupak
    PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2011, : 437 - 446
  • [34] Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability
    Nakajima, Shin
    Lamraoui, Si-Mohamed
    CYBER PHYSICAL SYSTEMS: DESIGN, MODELING, AND EVALUATION, CYPHY 2015, 2015, 9361 : 99 - 115
  • [35] Maximum Satisfiability Using Core-Guided MAXSAT Resolution
    Narodytska, Nina
    Bacchus, Fahiem
    PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 2717 - 2723
  • [36] Cause Clue Clauses: Error Localization using Maximum Satisfiability
    Jose, Manu
    Majumdar, Rupak
    ACM SIGPLAN NOTICES, 2011, 46 (06) : 437 - 446
  • [37] Lexicographically minimum and maximum load linear programming problems
    Nace, Dritan
    Orlin, James B.
    OPERATIONS RESEARCH, 2007, 55 (01) : 182 - 187
  • [38] Maximum and minimum solutions for nonlinear parabolic problems with discontinuities
    Dimitrios A. Kandilakis
    Nikolaos S. Papageorgiou
    Proceedings of the Indian Academy of Sciences - Mathematical Sciences, 1998, 108 : 179 - 187
  • [39] THE INTERMEDIATE PROBLEMS AND THE MAXIMUM-MINIMUM THEORY OF EIGENVALUES
    WEINSTEIN, A
    JOURNAL OF MATHEMATICS AND MECHANICS, 1963, 12 (02): : 235 - 245
  • [40] Multiplicity of Radial Solutions of Quasilinear Problems with Minimum and Maximum
    Ma, Ruyun
    Liu, Ruikuan
    ADVANCED NONLINEAR STUDIES, 2016, 16 (02) : 273 - 286
12345