2層配線における3端子ネットの分割

スポンサーリンク

概要

• 論文の詳細を見る
• 電子情報通信学会基礎・境界ソサイエティの論文

著者

• 柏原 敏伸

  大阪大学大学院

• 柏原 敏伸

  大阪大学基礎工学部

• 増田 澄男

  神戸大学工学部電気工学科

関連論文

• 3次元グラフ構造の最大共通部分を求めるアルゴリズム
• 点パターンマッチングアルゴリズムの効率化
• 木の最大類似部分問題とそのアルゴリズム
• 二つの外平面描写の最大共通部分の抽出について
• 木の描写アルゴリズムの効率化
• 線図形の類似度とその計算法
• 根がなく巡回的順序がある木の間の距離とその計算法
• stグラフの道独立頂点集合の性質
• 大型データベースのための最長共通部分列の一高速抽出法
• 大型データペースのための最長共通部分列の一高速抽出法
• 第一階述語論理のサブクラスに対する近似的モデル検査アルゴリズム
• D-1-2 グラフ描画アルゴリズムに基づいたデフォルメ路線図作成法(D-1. コンピュテーション, 情報・システム1)
• マークグラフにおけるトランジションの潜在的同時発火可能性判定アルゴリズム
• 1-有界無競合ペトリネットにおける二つのトランジションの同時発火可能性を判定するYenのアルゴリズムの改良
• マークグラフにおけるトランジションの潜在的同時発火可能性判定アルゴリズム
• ペトリネットの部分クラスにおける同時発火可能性
• 根付き非順序木の最小幅描写問題の計算複雑度
• 木構造図の描写アルゴリズムの効率化
• 局所変数を含むアサーションに対するモデルチェッキングのためのチェッカ生成(アサーションベース検証,システム設計及び一般)
• 局所変数を含むアサーションに対するモデルチェッキングのためのチェッカ生成(システム設計及び一般)
• 動的局所変数を含むアサーションに対する限定モデルチェッキング(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
• 動的局所変数を含むアサーションに対する限定モデルチェッキング(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
• 動的局所変数を含むアサーションに対する限定モデルチェッキング(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
• 第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム(テストと検証,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
• 第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム(テストと検証,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
• 第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム(テストと検証,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
• 同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
• 同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
• 同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
• 定数幅量子ブランチングプログラムの計算能力 (計算理論とアルゴリズムの新展開)
• 1回読み定数幅制約下での量子ブランチングプログラムと確率ブランチングプログラムの計算能力の比較
• クロネッカー式関数決定グラフの最適展開規則選択問題の計算複雑度(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
• 二分モーメントグラフによる除算表現の大きさの指数下界 (アルゴリズムと計算の理論)
• 二分モーメントグラフによる除算表現の大きさの指数下界
• 妨害者のいる場合の最短経路問題
• 妨害の下での最短経路問題の複雑さ : 通過後の妨害を許さない場合
• 円筒上長方形交グラフの最大クリークを求めるアルゴリズム
• 妨害の下での最短経路問題
• パスグラフから区間グラフへの最小辺付加による変換の NP 完全性
• 交互シャフルについて
• 木上二重コンベックスグラフと二部サークルグラフの等価性
• 端子間に配線を通過させない順列配線のビア数最小化アルゴリズム
• 円筒上長方形交グラフの最大クリークを求めるアルゴリズム
• パスグラフから区間グラフへの最小辺付加による変換のNP完全性
• ある種のグラフにおける最大クリーク重みの折点数について
• 複数のグラフの同時平面描写について
• BD木を用いたマルチレイヤデータ管理構造の改良
• モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(ハードウェア,フォーマルアプローチ論文)
• モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
• モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
• モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
• モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
• 空間に埋め込まれた木のグラフ理論的距離とその計算法
• 線図形の類似度の計算法
• 平面に埋め込まれた木の最大類似部分を求めるアルゴリズム
• 平面グラフの最大重み窓問題
• 外窓上の頂点および辺の重みの和を最大にするような,2連結平面グラフの描写アルゴリズム
• 第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法(FPGAとその応用及び一般)
• 第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法(FPGAとその応用及び一般)
• 第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法(FPGAとその応用及び一般)
• 第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法(FPGAとその応用及び一般)
• コンパラビリティグラフから得られるst有向グラフのセパレータ
• An Algorithm for Generating Maximum Weight Independent Sets in a Circle Graph
• パラメトリックグラフにおける最大クリ-ク重みの折れ点数
• あるグラフの極大頂点集合を表現するダイアグラム
• 階層的グラフの平面性判定アルゴリズム
• 2層配線における3端子ネットの分割
• 部品の端子間に配線を通過させない一層配線問題について
• 部品の反転を許さない一層平面配線問題について
• 引出し線を用いたラベル配置
• 引出し線を用いた地図ラベル配置アルゴリズム
• D-1-8 地図中の地点と線情報へのラベル配置のためのラベル候補作成法(D-1.コンピュテーション,一般講演)
• 地点の優先度を考慮した地図ラベル配置アルゴリズム
• グラフ描画へのラベル配置アルゴリズムの実験的評価
• グラフ描画へのラベル配置アルゴリズムの実験的評価
• D-1-1 優先度付き地図ラベル配置問題に対するラベル候補作成法(D-1. コンピュテーション, 情報・システム1)
• 辺がラベルをもつ無向グラフの描画法(グラフとネットワーク)
• D-1-2 辺がラベルをもつグラフの描画アルゴリズム
• グラフ描画における辺のラベルの配置法
• グラフ描画における辺のラベルの配置法
• D-1-10 引出し線を用いたラベル配置アルゴリズムの改良(D-1.コンピュテーション,一般講演)
• クラス編成問題に対する平等な割当決定法
• 第一階述語論理の決定可能なサブクラスに対する同値制約を考慮した充足可能性判定(検証・理論, 組込技術とネットワークに関するワークショップ)
• 第一階述語論理の決定可能なサブクラスに対する同値制約を考慮した充足可能性判定
• 第一階述語論理の決定可能なサブクラスに対する同値制約を考慮した充足可能性判定(検証・理論, 組込技術とネットワークに関するワークショップ)
• D-1-11 図形データの重なり判定を高速化するデータ構造の提案(D-1.コンピュテーション,一般講演)
• D-1-9 二次元点パターンマッチング問題に対する高速なアルゴリズム(D-1.コンピュテーション,一般講演)
• TLAESAに基づく近似κ近傍検索手法(研究速報)
• 最大重みクリークを効率良く抽出するための頂点系列の生成法
• D-4-9 類似検索手法TLAESAの改良(D-4. データ工学, 情報・システム1)
• D-4-8 地理データに対する領域管理手法の実験的評価(D-4. データ工学, 情報・システム1)
• D-1-3 頂点がグループ分けされた階層的グラフの描画法(D-1. コンピュテーション, 情報・システム1)
• Comparability supergraphを用いた最大重みクリーク問題の厳密解法
• Chordal SupergraphとChordal Subgraphによる最大クリーク問題の緩和問題構成法について
• A-34 グラフ最適化問題に対する緩和問題の構成法の提案(最適化,A.アルゴリズム・基礎)
• D-1-3 グラフの最大独立頂点集合数の上界の計算法の提案
• VLIWプロセッサにおける演算命令発行スロット数の最適化
• VLIWプロセッサにおける演算命令発行スロット数の最適化
• VLIWプロセッサ自動生成における演算器構成最適化の一手法
• VLIWプロセッサ自動生成における演算器構成最適化の一手法

もっと見る 閉じる

スポンサーリンク