Satisfiability problems on intervals and unit intervals

被引：0
|
作者：
Tel Aviv Univ, Tel Aviv, Israel [1 ]
机构：
来源：
Theor Comput Sci | / 2卷 / 349-372期
关键词：
* Portions of this paper were presented at the Third European Symposium on Algorithms; Corfu; Greece; 1996 [38]. * Corresponding author. E-mail: izik@math.tau.ac.il. ’ Research supported in part by a grant from the Ministry of Science and the Arts; Israel;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
38
引用
收藏
相关论文
共 50 条
  • [31] Uncertainty Analysis of Static Plane Problems by Intervals
    Xiao, Naijia
    Muhanna, Rafi L.
    Fedele, Francesco
    Mullen, Robert L.
    SAE INTERNATIONAL JOURNAL OF MATERIALS AND MANUFACTURING, 2015, 8 (02) : 374 - 381
  • [32] REFERENCE INTERVALS FOR TOXIC METALS - PROBLEMS AND PROSPECTS
    GRANDJEAN, P
    ANNALS OF CLINICAL AND LABORATORY SCIENCE, 1986, 16 (01): : 67 - 74
  • [33] SOME PROBLEMS ON RANDOM INTERVALS AND ANNIHILATING PARTICLES
    ERDOS, P
    NEY, P
    ANNALS OF PROBABILITY, 1974, 2 (05): : 828 - 839
  • [34] TECHNICAL PROBLEMS IN DETERMINING SAFE REENTRY INTERVALS
    SPEAR, RC
    JOURNAL OF ENVIRONMENTAL PATHOLOGY AND TOXICOLOGY, 1980, 4 (5-6) : 293 - 304
  • [35] Intervals of bifurcation points for semilinear elliptic problems
    Tapia, Jose Carmona
    Aparicio, Antonio J. Martinez
    Martinez-Aparicio, Pedro J.
    ADVANCES IN NONLINEAR ANALYSIS, 2025, 14 (01)
  • [36] A NOTE ON CONFIDENCE-INTERVALS IN REGRESSION PROBLEMS
    MANDEL, J
    ANNALS OF MATHEMATICAL STATISTICS, 1958, 29 (03): : 903 - 907
  • [37] Primes in special intervals and additive problems with such numbers
    Changa, ME
    MATHEMATICAL NOTES, 2003, 73 (3-4) : 389 - 401
  • [38] Confidence intervals, prediction intervals and tolerance intervals for negative binomial distributions
    Bao-Anh Dang
    K. Krishnamoorthy
    Statistical Papers, 2022, 63 : 795 - 820
  • [39] Confidence intervals, prediction intervals and tolerance intervals for negative binomial distributions
    Dang, Bao-Anh
    Krishnamoorthy, K.
    STATISTICAL PAPERS, 2022, 63 (03) : 795 - 820
  • [40] Discrete Recursive Bayesian Filtering on Intervals and the Unit Circle
    Kurz, Gerhard
    Pfaff, Florian
    Hanebeck, Uwe D.
    2016 IEEE INTERNATIONAL CONFERENCE ON MULTISENSOR FUSION AND INTEGRATION FOR INTELLIGENT SYSTEMS (MFI), 2016, : 442 - 448
12345