![Model theory / Formal languages / Constraint programming / Logical syntax / Interpretation / Constructible universe / Well-formed formula / Satisfiability / Function / Logic / Mathematics / Mathematical logic Model theory / Formal languages / Constraint programming / Logical syntax / Interpretation / Constructible universe / Well-formed formula / Satisfiability / Function / Logic / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/e3ceab1ee41a0cc8c5d3e131b9e3aac7.jpg)
| Document Date: 2010-05-07 20:34:22 Open Document File Size: 505,61 KBShare Result on Facebook
Company CNF / Basic Algorithm / / / IndustryTerm simplification algorithm / on-line simplification / on-line simplification algorithm / program analysis systems / software verification techniques / experience using on-line simplification / on-line constraint simplification / software verification / / OperatingSystem L3 / / Organization Department of Computer Science / Stanford University / / Product Mistral / Tseitin / / ProgrammingLanguage C / / Technology simplification algorithm / simulation / proposed algorithm / on-line simplification algorithm / 4 Algorithm / /
SocialTag |