About Us.
    
    
        - Founder and Chief Developer
            
                - Xu DaBao 
                     
 (pseudonym)
- Academic Background
                    
                        - Bachelar Degree
 Kyoto University, Japan, Mechanical Engineering.
- Master Degree
 Graduated School of Osaka University, Japan, Control Theory, Electronics Controlled Mechanical Engineering.
- Doctor Degree(Quitted)
 Graduated School of Osaka University, Japan, Control Theory, Electronics Controlled Mechanical Engineering.
 
- Interest Fields
                    
                        - Numerical Computation and Optimization
- Optimization of Bilinear Matrix Inequalities
- NP-Hard Mathematics Problems
 
 
 
   
            
                
                
                
                
                
                
                
                
                
                
                
                
                
                
             
            
            
            
            
            
IsBlankFunction IsNegativeUnateFunctionTo IsOneFunction And AndOr BDD AbsoluteExpression BinaryNumberToString bool ToPOS ToROBDD FeedbackSystem MantissaToPositiveInteger One POS Realization To2LayerNor SOP To2LayerAndOr Solve Sequential ShortestInputsForDistinguishTwoStates OutputAndStateBasedly ToStateTransitionTable Simplification Balanced DontCare TruthTable AdjustLogicVariableCount Zero