U.S. federal trademark · Serial No. 75144562
computer software for solving constraint satisfaction problems, namely, computer software for use in the field of programming commercial and industrial applications involving resource allocation, scheduling and combinatorial problems
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.