Keyword : exact algorithm

An Exact Algorithm for the Arrow Placement Problem in Directed Graph Drawings
Naoto KIDO Sumio MASUDA Kazuaki YAMAGUCHI 
Publication:   
Publication Date: 2019/11/01
Vol. E102-A  No. 11 ; pp. 1481-1489
Type of Manuscript:  PAPER
Category: Algorithms and Data Structures
Keyword: 
directed graph, drawing, arrow placement, exact algorithm, 
 Summary | Full Text:PDF
An Exact Algorithm for Oblivious Read-Twice Branching Program Satisfiability
Kazuhisa SETO Junichi TERUYAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2016/06/01
Vol. E99-A  No. 6 ; pp. 1019-1024
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
oblivious branching program, read twice, satisfiability, exact algorithm, 
 Summary | Full Text:PDF
A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits
Kazuyuki AMANO Atsushi SAITO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/01/01
Vol. E98-D  No. 1 ; pp. 108-118
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
satisfiability, exact algorithm, threshold circuit, 
 Summary | Full Text:PDF