Complexity of model checking by iterative improvement:: The pseudo-Boolean framework

被引：0
|
作者：
Björklund, H [1 ]
Sandberg, S [1 ]
Vorobyov, S [1 ]
机构：
[1] Uppsala Univ, Dept Informat Technol, S-75105 Uppsala, Sweden
来源：
PERSPECTIVES OF SYSTEM INFORMATICS | 2003年 / 2890卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
引用
收藏
页码：381 / 394
页数：14
相关论文
共 50 条
  • [1] A Cardinal Improvement to Pseudo-Boolean Solving
    Elffers, Jan
    Nordstrom, Jakob
    [J]. THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 1495 - 1503
  • [2] The Improvement of Pseudo-Boolean Satisfiability Algorithm for FPGA Routing
    Tang, Yulan
    Chen, Jianhui
    [J]. MECHATRONICS AND INTELLIGENT MATERIALS II, PTS 1-6, 2012, 490-495 : 1511 - +
  • [3] On pseudo-Boolean polynomials
    Leont'ev, V. K.
    [J]. COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 2015, 55 (11) : 1926 - 1932
  • [4] Pseudo-Boolean optimization
    Boros, E
    Hammer, PL
    [J]. DISCRETE APPLIED MATHEMATICS, 2002, 123 (1-3) : 155 - 225
  • [5] On pseudo-Boolean polynomials
    V. K. Leont’ev
    [J]. Computational Mathematics and Mathematical Physics, 2015, 55 : 1926 - 1932
  • [6] SOLUTION OF BOOLEAN AND PSEUDO-BOOLEAN RELATIONS
    KLIR, GJ
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (10) : 1098 - 1100
  • [7] Algebraic method to pseudo-Boolean function and its application in pseudo-Boolean optimization
    Li, Zhiqiang
    Song, Jinli
    Xiao, Huimin
    [J]. PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 2468 - 2472
  • [8] Engineering an Exact Pseudo-Boolean Model Counter
    Yang, Suwei
    Meel, Kuldeep S.
    [J]. THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, 2024, : 8200 - 8208
  • [9] PSEUDO-BOOLEAN PROGRAMMING
    HAMMER, PL
    RUDEANU, S
    [J]. OPERATIONS RESEARCH, 1969, 17 (02) : 233 - &
  • [10] PSEUDO-BOOLEAN PROGRAMMING WITH CONSTRAINTS
    INAGAKI, Y
    FUKUMURA, T
    [J]. ELECTRONICS & COMMUNICATIONS IN JAPAN, 1967, 50 (06): : 26 - &
12345