Constraint modeling and SAT encoding of the packing array problem

被引：0
|
作者：
机构：
[1] Noritake, Haruki
[2] Banbara, Mutsunori
[3] Soh, Takehide
[4] Tamura, Naoyuki
[5] Inoue, Katsumi
来源：
Noritake, H. | 1600年 / Japan Society for Software Science and Technology卷 / 31期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Set constraint model and automated encoding into SAT: application to the social golfer problem
    Lardeux, Frederic
    Monfroy, Eric
    Crawford, Broderick
    Soto, Ricardo
    ANNALS OF OPERATIONS RESEARCH, 2015, 235 (01) : 423 - 452
  • [2] Set constraint model and automated encoding into SAT: application to the social golfer problem
    Frédéric Lardeux
    Eric Monfroy
    Broderick Crawford
    Ricardo Soto
    Annals of Operations Research, 2015, 235 : 423 - 452
  • [3] A SAT Encoding for Multi-dimensional Packing Problems
    Grandcolas, Stephane
    Pinto, Cedric
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, 2010, 6140 : 141 - 146
  • [4] Encoding hash functions as a SAT problem
    Legendre, Florian
    Dequen, Gilles
    Krajecki, Michael
    2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 916 - 921
  • [5] A SAT encoding for the portfolio selection problem
    di Tollo, Giacomo
    Lardeux, Frederic
    Pesenti, Raffaele
    Petris, Matteo
    SOFT COMPUTING, 2023,
  • [6] The co-printing problem: A packing problem with a color constraint
    Peeters, M
    Degraeve, E
    OPERATIONS RESEARCH, 2004, 52 (04) : 623 - 638
  • [7] A Hybrid Algorithm for Strip Packing Problem with Rotation Constraint
    Chen, Huan
    Ye, Furong
    Si, Yain-Whar
    2016 3RD INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND APPLICATIONS (ICIEA 2016), 2016, 68
  • [8] A new constraint programming approach for the orthogonal packing problem
    Clautiaux, Francois
    Jouglet, Antoine
    Carlier, Jacques
    Moukrim, Aziz
    COMPUTERS & OPERATIONS RESEARCH, 2008, 35 (03) : 944 - 959
  • [9] Expressively Modeling the Social Golfer Problem in SAT
    Lardeux, Frederic
    Monfroy, Eric
    INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2015 COMPUTATIONAL SCIENCE AT THE GATES OF NATURE, 2015, 51 : 336 - 345
  • [10] Modeling the packing coloring problem of graphs
    Shao, Zehui
    Vesel, Aleksander
    APPLIED MATHEMATICAL MODELLING, 2015, 39 (13) : 3588 - 3595
12345