Search Results1-20 of  20

  • BANBARA MUTSUNORI ID: 1000080290774

    Articles in CiNii:41

    • 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)
  • 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: 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)
  • Banbara Mutsunori ID: 9000283722569

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

    Articles in CiNii:1

    • Classical propositional linear logic theorem prover on a linear logic programming language compiler system (2004)
  • Mutsunori Banbara ID: 9000348887022

    Articles in CiNii:1

    • An Abstract Machine for a Compiler System of a Linear Logic Programming Language. (2001)
  • Mutsunori Banbara ID: 9000348888581

    Articles in CiNii:1

    • LLPTTP: Theorem Prover using Compiler of a Linear Logic Programming Language. (2003)
  • Mutsunori Banbara ID: 9000348890493

    Articles in CiNii:1

    • Classical Propositional Linear Logic Theorem Prover on a Linear Logic Programming Language Compiler System (2005)
  • Mutsunori Banbara ID: 9000361207181

    Articles in CiNii:1

    • Prolog Cafe: A Prolog to Java Translator System(<Special Issue>A Software Toolbox for Research Activity(4)) (2006)
  • Mutsunori Banbara ID: 9000361218991

    Articles in CiNii:1

    • SAT Solvers(My Bookmark) (2013)
Page Top