7 citations · 17 across the 16 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.DS2013★ 1 cited
Better Bounds for Online -Frame Throughput Maximization in Network Switches
Jun Kawahara, Koji M. Kobayashi, Shuichi Miyazaki
We consider a variant of the online buffer management problem in network switches, called the -frame throughput maximization problem (-FTM). This problem models the situation…
cs.CC2013
Resolution structure in HornSAT and CNFSAT
Koji Kobayashi
This article describes about the difference of resolution structure and size between HornSAT and CNFSAT. We can compute HornSAT by using clauses causality. Therefore we can compute…