ON MODELLING PSEUDO-BOOLEAN ALGEBRAS IN TERMS OF RELIZABILITY

被引：0
|
作者：
KABAKOV, FA
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1970年 / 192卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：16 / &
相关论文
共 50 条
  • [31] MINIMIZATION OF A QUADRATIC PSEUDO-BOOLEAN FUNCTION
    BILLIONNET, A
    SUTTER, A
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1994, 78 (01) : 106 - 115
  • [32] Optimization over pseudo-Boolean lattices
    [J]. Hosseinyazdi, M. (m.h.yazdi@graduate.uk.ac.ir), 2005, WSEAS (04):
  • [33] Translating Pseudo-Boolean Constraints into CNF
    Aavani, Amir
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 2011, 6695 : 357 - 359
  • [34] Compact quadratizations for pseudo-Boolean functions
    Endre Boros
    Yves Crama
    Elisabeth Rodríguez-Heck
    [J]. Journal of Combinatorial Optimization, 2020, 39 : 687 - 707
  • [35] Haplotype inference with pseudo-Boolean optimization
    Ana Graça
    João Marques-Silva
    Inês Lynce
    Arlindo L. Oliveira
    [J]. Annals of Operations Research, 2011, 184 : 137 - 162
  • [36] Haplotype inference with pseudo-Boolean optimization
    Graca, Ana
    Marques-Silva, Joao
    Lynce, Ines
    Oliveira, Arlindo L.
    [J]. ANNALS OF OPERATIONS RESEARCH, 2011, 184 (01) : 137 - 162
  • [37] A fast pseudo-Boolean constraint solver
    Chai, D
    Kuehlmann, A
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2005, 24 (03) : 305 - 317
  • [38] Quadratization of symmetric pseudo-Boolean functions
    Anthony, Martin
    Boros, Endre
    Crama, Yves
    Gruber, Aritanan
    [J]. DISCRETE APPLIED MATHEMATICS, 2016, 203 : 1 - 12
  • [39] Solving Pseudo-Boolean Modularity Constraints
    Ansotegui, Carlos
    Bejar, Ramon
    Fernandez, Cesar
    Guitart, Francesc
    Mateu, Carles
    [J]. ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 867 - 872
  • [40] On Boolean functions encodable as a single linear Pseudo-Boolean constraint
    Smaus, Jan-Georg
    [J]. INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, PROCEEDINGS, 2007, 4510 : 288 - 302
12345