On the use of Boolean methods for the computation of the stability number

被引：0
|
作者：
DMA, Ecl. Polytech. Federale de Lausanne, 1015 Lausanne, Switzerland [1 ]
机构：
来源：
Discrete Appl Math | / 1-3卷 / 183-203期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Weighted stability number of graphs and weighted satisfiability: The two facets of pseudo-Boolean optimization
    D. de Werra
    P. L. Hammer
    Annals of Operations Research, 2007, 149 : 67 - 73
  • [42] Weighted stability number of graphs and weighted satisfiability: The two facets of pseudo-Boolean optimization
    de Werra, D.
    Hammer, P. L.
    ANNALS OF OPERATIONS RESEARCH, 2007, 149 (01) : 67 - 73
  • [43] An Efficient Implementation of Boolean Grobner Basis Computation
    Castro Campos, Rodrigo Alexander
    Sagols Troncoso, Feliu Davino
    Zaragoza Martinez, Francisco Javier
    HIGH PERFORMANCE COMPUTING CARLA 2016, 2017, 697 : 116 - 130
  • [44] Boolean Computation in Single-Transistor Neuron
    Li, Hanxi
    Hu, Jiayang
    Zhang, Yishu
    Chen, Anzhe
    Lin, Li
    Chen, Ge
    Chen, Yance
    Chai, Jian
    He, Qian
    Wang, Hailiang
    Huang, Shiman
    Zhou, Jiachao
    Xu, Yang
    Yu, Bin
    ADVANCED MATERIALS, 2024, 36 (49)
  • [45] COMPUTATION OF BOOLEAN FUNCTIONS ON NETWORKS OF BINARY AUTOMATA
    TCHUENTE, M
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 26 (02) : 269 - 277
  • [46] Volume computation for sparse Boolean quadric relaxations
    Lee, Jon
    Skipper, Daphne
    DISCRETE APPLIED MATHEMATICS, 2020, 275 (79-94) : 79 - 94
  • [47] On the Computation of Elimination Ideals of Boolean Polynomial Rings
    Sato, Yostike
    Nagai, Akira
    Inoue, Shutaro
    COMPUTER MATHEMATICS, 2008, 5081 : 334 - +
  • [48] Representation of Boolean functions in terms of quantum computation
    Bogdanov, Yu, I
    Bogdanova, N. A.
    Fastovets, D., V
    Lukichev, V. F.
    INTERNATIONAL CONFERENCE ON MICRO- AND NANO-ELECTRONICS 2018, 2019, 11022
  • [49] PARALLEL AND SEQUENTIAL-COMPUTATION ON BOOLEAN NETWORKS
    FOGELMANSOULIE, F
    THEORETICAL COMPUTER SCIENCE, 1985, 40 (2-3) : 275 - 300
  • [50] The Boolean Map Distance: Theory and Efficient Computation
    Malmberg, Filip
    Strand, Robin
    Zhang, Jianming
    Sclaroff, Stan
    DISCRETE GEOMETRY FOR COMPUTER IMAGERY, DGCI 2017, 2017, 10502 : 335 - 346
12345