Search Results1-4 of  4

  • 馬野 洋平 ID: 9000277057174

    Articles in CiNii:1

    • A Tool for Designing Sudoku Problems by Interactive Fill-in Approach (2007)
  • 馬野 洋平 ID: 9000345434693

    名古屋大学 (2012 from CiNii)

    Articles in CiNii:1

    • 基本対称関数に基づく節をもつCNF論理式の充足可能性判定 (2012)
  • 馬野 洋平 ID: 9000345434747

    名古屋大学 (2011 from CiNii)

    Articles in CiNii:1

    • 基本対称関数に基づく節をもつCNF論理式の充足可能性判定 (2011)
  • UMANO Yohei ID: 9000006625297

    Graduate School of Information Science, Nagoya University (2010 from CiNii)

    Articles in CiNii:4

    • A Tool for Designing Sudoku Problems by Interactive Fill-in Approach (2007)
    • Solving Satisfiability of CNF Formulas with Elementary Symmetric Functions (2008)
    • Solving Satisfiability of CNF Formulas with Clauses Based on Elementary Symmetric Functions (2010)
Page Top