Toru Nanba

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Constrained Problems

Mixed Integer Program

Pairwise Similarities

Davis Putnam Logemann Loveland

Top Venues

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

Publications

Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2012)
Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. ICNC (2011)