Algorithms for Formula Manipulation Based upon Hashing Technique and their Applications to Pseudo-Boolean Programming

スポンサーリンク

概要

• 論文の詳細を見る

• We propose algorithms for formula manipulation of Boolean functions and pseudo-Boolean functions. They are based on hashing technique and take Ο(m) computation time, where in is the number of terms involved in the function being processed. The performance of the algorithms is verified through some experiments. They are found to be successfully applicable to the pseudo-Boolean programming algorithm.

• 一般社団法人情報処理学会の論文

著者

• Imai Masaharu

  Faculty of Engineering, Toyohashi University of Technology

• Fukumura Teruo

  Faculty Of Engineering Nagoya University

• YOSHIDA Yuuji

  Computation Center, Nagoya University

• Yoshida Yuuji

  Computation Center Nagoya University

• Imai Masaharu

  Faculty Of Engineering Nagoya University

関連論文

• PEAS-I: A Hardware/Software Codesign System for ASIP Development (Special Section on the 6th Karuizawa Workshop on Circuits and Systems)
• Algorithms for Formula Manipulation Based upon Hashing Technique and their Applications to Pseudo-Boolean Programming
• Top-down Algorithms for Constructing Nearly Optimal Binary Search Trees
• Virtua1 Computer VC/S for String Manipulation and the Implementation of SNOBOL 3 on It

スポンサーリンク