講演・口頭発表等 - 酒井 正彦
-
CombSQL: an SQL for Specifying Combinatorial Optimization Problems
SAKAI Masahiko
the 44th TRS meeting
-
A heuristic procedure for inverse unfold problem
SAKAI Masahiko
the 42nd TRS meeting
-
A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem
Masahiko Sakai, Tatsuki Kato
IPSJ Special Interest Group on Programming
-
A heuristic procedure for inverse unfold problem
SAKAI Masahiko
the 42nd TRS meeting
-
On Coding for Problems on Bounded-Integers to Efficient Pseudo-Boolean Constraints - Magic Square as an Example -
SAKAI Masahiko
the 41st TRS meeting
-
Esoteric Programming Language Malbolge and Its Low-Level Assembler
Masahiko Sakai, Tatsuki Kato
IPSJ Special Interest Group on Programming
-
Size complexity of BDD construction of Pseudo-Boolean constraints in binary/mixed-radix base form
Naoki Nagatsuka, Masahiko Sakai, Harald Zankl, Keiichiro Kusakari
The 28th Annual Conference of the Japan Society of Artifical Intelligence (JSAI 2014), Organized session "Theory, implementation, and application of SAT technology"
-
On constructing ROBDDs of Pseudo-Boolean constraints in band form and 2-clauses coding
SAKAI Masahiko
the 40th TRS meeting
-
On Converting Pseudo-Boolean constraints via BDD 国際会議
SAKAI Masahiko
the 39th TRS meeting
-
項書換え系におけるSAT技術
酒井正彦
2013年度 人工知能学会全国大会(第27回), オーガナイズドセッション「OS-09 SAT技術の理論，実装，応用」
-
A CSP solver for bounded-integer linear constraints and its non-linear extension
SAKAI Masahiko
the 38th TRS meeting
-
On determinazation of conditional rewrite systems
SAKAI Masahiko
the 37th TRS meeting
-
On Disproving and Postulating for Multi-Context Rewriting Induction
SAKAI Masahiko
the 36th TRS meeting
-
New Encodings of Pseudo-Boolean Constraints into CNF (by Olivier Bailleux, Yacine Boufkhad, and Olivier Roussel) 国際会議
SAKAI Masahiko
the 35th TRS meeting
-
CNFs with Elementary Symmetric Clauses and Their SAT Solving 国際会議
Masahiko Sakai, Yohei Umano and Yoshizane Hino
8th Asian Workshop on Foundation of Software (AWFS 2011)
-
Introduction to Esoteric Language Malbolge 国際会議
Japan-Vietnam Workshop on Software Engineering 2010 (JVSE 2010)
-
例外処理を持つ関数型プログラムの停止性証明法
馬場正貴、酒井正彦、濱口毅、西田直樹、坂部俊樹、草刈圭一朗
第12回プログラミングおよびプログラミング言語ワークショップPPL2010
-
SATソルバを利用したお絵かきロジックの問題作成支援ツール
長坂哲、伊藤寛之、酒井正彦、草刈圭一朗、西田直樹、坂部俊樹
組合せゲーム・パズルミニプロジェクト 第5回ミニ研究集会、東京
-
制約付き等式の定理自動証明器の試作
西田直樹，中林直生、酒井正彦、草刈圭一朗，坂部俊樹
日本ソフトウェア科学会 大会
-
Almost-Non-Overlapping Non-Collapsing Shallow Term Rewriting Systems are Confluent 国際会議
Masahiko Sakai