Search Results1-20 of  25

  • 1 / 2
  • 番原 睦則 ID: 9000248956669

    Articles in CiNii:1

    • Solving Post-Enrollment Course Timetabling using Cardinality Constraint and SAT Solvers (2014)
  • 番原 睦則 ID: 9000258571415

    神戸大学 (2005 from CiNii)

    Articles in CiNii:1

    • PrologからJavaへのトランスレータ処理系とその応用 (2005)
  • 番原 睦則 ID: 9000270283211

    Articles in CiNii:1

    • Generating Balanced Incomplete Block Designs by SAT Encodings (2011)
  • 番原 睦則 ID: 9000273033509

    Articles in CiNii:1

    • Constraint Models of the Square Packing Problem and their SAT Encodings (2013)
  • 番原 睦則 ID: 9000285486644

    Articles in CiNii:1

    • Towards a Hybrid Encoding of Constraint Satisfaction Problems (2015)
  • 番原 睦則 ID: 9000296680681

    Articles in CiNii:1

    • Applying Constraint Answer Set Programming to Combinatorial Test Case Generation Problems (2015)
  • 番原 睦則 ID: 9000304612285

    Articles in CiNii:1

    • Constraint Modeling and SAT Encoding of the Packing Array Problem (2013)
  • 番原 睦則 ID: 9000305624302

    Articles in CiNii:1

    • Studies on a Design of Constraint Answer Set Programming Systems (2014)
  • 番原 睦則 ID: 9000311512120

    Articles in CiNii:1

    • SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価 (2015)
  • 番原 睦則 ID: 9000311512504

    Articles in CiNii:1

    • iSugar : A SAT-based Constraint Solver Utilizing Incremental SAT Method (2015)
  • 番原 睦則 ID: 9000347541129

    Articles in CiNii:1

    • SAT Evolution and Applications:0. Foreword (2016)
  • BANBARA MUTSUNORI ID: 1000080290774

    Articles in CiNii:46

    • Introduction to the Special Issue on Software Papers (2010)
    • Report on SAT Competition and Max-SAT Evaluation (2012)
    • Report of 2012 FLOPS International Symposium (2013)
  • BANBARA Mutsunori ID: 9000107372468

    Articles in CiNii:1

    • Introduction to the Special Issue on Software Papers (2012)
  • BANBARA Mutsunori ID: 9000258237612

    Information Science and Technology Center, Kobe University (2003 from CiNii)

    Articles in CiNii:1

    • LLPTTP:線形理論型言語コンパイラ処理系を用いた定理証明システム (2003)
  • BANBARA Mutsunori ID: 9000258238198

    Information Science and Technology Center, Kobe University (2010 from CiNii)

    Articles in CiNii:1

    • A SAT-based Constraint Solver and its Performance Evaluation (2010)
  • BANBARA Mutsunori ID: 9000258238213

    Articles in CiNii:1

    • Introduction to the Special Issue on Software Papers (2010)
  • BANBARA Mutsunori ID: 9000258238489

    Information Science and Technology Center, Kobe University (2012 from CiNii)

    Articles in CiNii:1

    • Domain-Specific Language Copris for Constraint Programming in Scala (2012)
  • BANBARA Mutsunori ID: 9000258238496

    Information Science and Technology Center, Kobe University (2013 from CiNii)

    Articles in CiNii:1

    • A Compact and Efficient SAT Encoding of Finite CSP based on a Numeral System of Integers (2013)
  • BANBARA Mutsunori ID: 9000258238565

    Information Science and Technology Center, Kobe University (2014 from CiNii)

    Articles in CiNii:1

    • Constraint Modeling and SAT Encoding of the Packing Array Problem (2014)
  • BANBARA Mutsunori ID: 9000283468180

    Articles in CiNii:1

    • Introduction to the Special Issue on Software Papers (2011)
  • 1 / 2
Page Top