Search Results1-20 of  26

  • 1 / 2
  • BANBARA Mutsunori ID: 1000080290774

    Articles in CiNii:43

    • 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: Theorem Prover using Compiler of a Linear Logic Programming Language (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)
  • BANBARA Mutsunori ID: 9000345321148

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

    Articles in CiNii:1

    • An Incremental SAT Solving Library and its Applications (2016)
  • BANBARA Mutsunori ID: 9000391587570

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

    Articles in CiNii:1

    • SAT-based Constraint Programming Systems and Related Technologies (2017)
  • BANBARA Mutsunori ID: 9000391780427

    Nara National College of Technology (2002 from CiNii)

    Articles in CiNii:1

    • LLPTTP: Theorem Prover using Compiler of a Linear Logic Programming Language (2002)
  • BANBARA Mutsunori ID: 9000398253515

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

    Articles in CiNii:1

    • A SAT Encoding of Pseudo-Boolean Constraints via Boolean Cardinality Constraints (2018)
  • BANBARA Mutsunori ID: 9000399369403

    Kobe University (2018 from CiNii)

    Articles in CiNii:1

    • Introduction to the Special Issue on Programming and Programming Languages (2018)
  • BANBARA Mutsunori ID: 9000399369419

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

    Articles in CiNii:1

    • Recent Advances in SAT Solvers and their Utilization Technologies. (2018)
  • BANBARA Mutsunori ID: 9000402793807

    Nagoya University (2019 from CiNii)

    Articles in CiNii:1

    • A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition (2019)
  • Banbara Mutsunori ID: 9000021953981

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

    Articles in CiNii:1

    • Generating Balanced Incomplete Block Designs by SAT Encoding (2012)
  • Banbara Mutsunori ID: 9000239582790

    Articles in CiNii:1

    • Compiling Finite Linear CSP into SAT (2006)
  • Banbara Mutsunori ID: 9000258237482

    Nara National College of Technology. (2000 from CiNii)

    Articles in CiNii:1

    • Efficient Resource Management Model for Linear Logic Programming Languages (2000)
  • Banbara Mutsunori ID: 9000258237491

    Nara National College of Technology (2001 from CiNii)

    Articles in CiNii:1

    • An Abstract Machine for a Compiler System of a Linear Logic Programming Language (2001)
  • 1 / 2
Page Top