sat solver
From WikiWord, the free dictionary
English
Definitions
No definition found for “sat solver”. Check the spelling, or try a related word.
Related words
Synonyms
solverprogram synthesisconflict-driven clause learningsearch algorithmformal specificationformal methodscontrol flow analysisrule-based systemknowledge-based systemscompiler-compilerproof assistantontology languagecomputer programminganswer set programmingcomputer algebra systemoutline of computer science