Numerical simulation and mathematical analysis of SAT-solving continuous-time dynamical systems

The cover of this title could differ from library to library.

Available in National Diet Library

国立国会図書館デジタルコレクション

Numerical simulation and mathematical analysis of SAT-solving continuous-time dynamical systems

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 博士論文
Title: Numerical simulation and mathematical analysis of SAT-solving continuous-time dynamical systems
Author/Editor: 山下, 洋史
Publication, Distribution, etc.: 山下, 洋史
Publication Date: 2020
Publication Date (W3CDTF): 2020
Alternative Title: 充足可能性問題を解く連続時間力学系の数値シミュレーションと数理解析
Degree grantor/type: 東京大学
Date Granted: 2020-03-23
Date Granted (W3CDTF): 2020-03-23
Dissertation Number: 甲第37413号
Degree Type: 博士(情報理工学)
Text Language Code: eng
Alias of Author: Yamashita, Hiroshi
Persistent ID (NDL): info:ndljp/pid/12268371
https://dl.ndl.go.jp/pid/12268371
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
https://dl.ndl.go.jp/collections/A00014
Acquisition Basis: 博士論文（送信）
Date Accepted (W3CDTF): 2022-05-11T20:12:03+09:00
Format (IMT): application/pdf
Access Restrictions: 国立国会図書館内限定公開
Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
Availability of remote photoduplication service: 可
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp