Search Results1-18 of  18

  • Koshimura Miyuki ID: 9000314783250

    Articles in CiNii:1

    • Introducing Pure Literal Elimination into CDCL Algorithm (特集 「離散問題とデータ科学の接点」および一般) (2016)
  • KOSHIMURA MIYUKI ID: 9000004375528

    ICOT Research Center (1989 from CiNii)

    Articles in CiNii:3

    • Resource Management of PIMOS (1989)
    • Design Principle of the PIMOS (1988)
    • Exception Handling in PIMOS (1988)
  • KOSHIMURA Miyuki ID: 1000030274492

    Articles in CiNii:94

    • MGTP : A Parallel Model Generation Theorem Prover on PIM (1993)
    • Solving SAT problems by PCMGTP on FPGA (2005)
    • Improving the Efficiency of Minimal Model Generation by Extracting Branching Lemmas (2001)
  • KOSHIMURA Miyuki ID: 9000107373295

    Kyushu University (2012 from CiNii)

    Articles in CiNii:1

    • Report on SAT Competition and Max-SAT Evaluation (2012)
  • KOSHIMURA Miyuki ID: 9000258119069

    Graduate School of Information Science and Electrical Engineering, Kyushu University (2014 from CiNii)

    Articles in CiNii:1

    • Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations (2014)
  • KOSHIMURA Miyuki ID: 9000258119080

    Graduate School of Information Science and Electrical Engineering, Kyushu University (2014 from CiNii)

    Articles in CiNii:1

    • MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities (2014)
  • KOSHIMURA Miyuki ID: 9000312723686

    Graduate School of Information Science and Electrical Engineering, Kyushu University (2016 from CiNii)

    Articles in CiNii:1

    • Reconstructing AES Key Schedule Images with SAT and MaxSAT (2016)
  • KOSHIMURA Miyuki ID: 9000402793809

    Kyushu University (2019 from CiNii)

    Articles in CiNii:1

    • MCSes Enumeration with the Glucose SAT Solver (2019)
  • KOSHIMURA Miyuki ID: 9000402795727

    Graduate School of Information Science and Electrical Engineering, Kyushu University (2019 from CiNii)

    Articles in CiNii:1

    • Coalition structure generation problem in cooperative graph games (2019)
  • Koshimura Miyuki ID: 9000258455236

    Kyushu University (2006 from CiNii)

    Articles in CiNii:1

    • A Method of Web Search Considering a Schedule of a User (2006)
  • Koshimura Miyuki ID: 9000260212348

    Articles in CiNii:1

    • A Hybrid Particle Swarm Optimization Algorithm HPTS for the Flow-Shop Scheduling Problem (2010)
  • Koshimura Miyuki ID: 9000379580265

    Articles in CiNii:1

    • Information Recommender System Considering Recommendation Reasons (2011)
  • Koshimura Miyuki ID: 9000398792257

    Department of Electronics, Kyushu University (1995 from CiNii)

    Articles in CiNii:1

    • Visualization for Parallel Program and Parallel Performance Debugging. (1995)
  • Miyuki Koshimura ID: 9000348881429

    Articles in CiNii:1

    • Visualization for Parallel Program and Parallel Performance Debugging. (1995)
  • Miyuki Koshimura ID: 9000348893373

    Articles in CiNii:1

    • Model Generation Theorem Proving and lts Elementary Techniques (2008)
  • Miyuki Koshimura ID: 9000394060617

    Articles in CiNii:1

    • Eliminating Redundant Searches in Model Generation by Dependency Analysis (2000)
  • Miyuki Koshimura ID: 9000394061428

    Articles in CiNii:1

    • Tableaux and Model Generation Theorem Proving (Special Issue : "New Technologies in Automated Reasoning and Theorem Proving") (2001)
  • Miyuki Koshimura ID: 9000394068764

    Articles in CiNii:1

    • Model Enumeration and Model Counting(<Special Issue>Recent Advances in SAT Techniques) (2010)
Page Top