ON REPRESENTATION OF FINITE PSEUDO-BOOLEAN ALGEBRAS AND ONE OF ITS APPLICATIONS

被引:0
|
作者
KHOMICH, VI
机构
关键词
D O I
10.1007/BF01236783
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
[No abstract available]
引用
收藏
页码:844 / 851
页数:8
相关论文
共 50 条
  • [31] Compact quadratizations for pseudo-Boolean functions
    Boros, Endre
    Crama, Yves
    Rodriguez-Heck, Elisabeth
    [J]. JOURNAL OF COMBINATORIAL OPTIMIZATION, 2020, 39 (03) : 687 - 707
  • [32] Understanding Transforms of Pseudo-Boolean Functions
    Whitley, Darrell
    Aguirre, Hernan
    Sutton, Andrew
    [J]. GECCO'20: PROCEEDINGS OF THE 2020 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2020, : 760 - 768
  • [33] MINIMIZATION OF A QUADRATIC PSEUDO-BOOLEAN FUNCTION
    BILLIONNET, A
    SUTTER, A
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1994, 78 (01) : 106 - 115
  • [34] Optimization over pseudo-Boolean lattices
    [J]. Hosseinyazdi, M. (m.h.yazdi@graduate.uk.ac.ir), 2005, WSEAS (04):
  • [35] Translating Pseudo-Boolean Constraints into CNF
    Aavani, Amir
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 2011, 6695 : 357 - 359
  • [36] Compact quadratizations for pseudo-Boolean functions
    Endre Boros
    Yves Crama
    Elisabeth Rodríguez-Heck
    [J]. Journal of Combinatorial Optimization, 2020, 39 : 687 - 707
  • [37] 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
  • [38] REVIEW OF PSEUDO-BOOLEAN METHODS WITH APPLICATIONS TO DIGITAL FILTER DESIGN.
    Patney, R.K.
    Dutta Roy, S.C.
    [J]. Journal of the Institution of Electronics and Telecommunication Engineers, 1980, 26 (01): : 1 - 8
  • [39] SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations
    Bofill, Miquel
    Coll, Jordi
    Suy, Josep
    Villaret, Mateu
    [J]. INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, CPAIOR 2019, 2019, 11494 : 112 - 128
  • [40] A new method for learning Pseudo-Boolean functions with applications in terrorists profiling
    Chen, JH
    Chen, P
    Ding, GL
    Lax, R
    [J]. 2004 IEEE CONFERENCE ON CYBERNETICS AND INTELLIGENT SYSTEMS, VOLS 1 AND 2, 2004, : 234 - 239