MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Circuit satisfiability problemSatisfiability modulo theories2-satisfiabilityMaximum satisfiability problemHorn-satisfiabilityDpll algorithmTseytin transformationBoolean data typePropositional logicValuationBoolean algebraMathematical logicBoolean expressionPartition problemLogical biconditionalEntscheidungsproblemPropositional variableTruth tableFunction problemFirst-order logicFormulaModel of computationTheory of computationRule of inferenceSet-builder notationSatisfiabilitySearch problemFormal verificationComputability theorySemantics of logicPredicate calculusLöb's theoremParsingDecision problemLocal consistencyParsing expression grammarBoundary value problemSystem of equationsComputer algebraAxiom schemaSubgraph isomorphism problemDenotational semanticsOptimization problemTuring degreeResolutionTruth functionTruth valueConditional proofPropositional functionMethod of analytic tableauxAxiom schemeConstrained optimizationBrute-force searchBayes' theoremType systemConstraint satisfaction problemLogical matrixFormal grammarSymbolic logicMetasyntaxModel checkingComputable setDescriptive knowledgeCircuit complexitySyntaxPrinciple of compositionalityBoolean logicInference ruleBoolean circuitProof by contradictionPredicate logicSymbolic executionLoop dependence analysisAxiomatic systemSemantic parsingMaterial implicationDisjunctive normal formFormal scienceFunctional completenessClassical logicSymbolic artificial intelligenceLinear differential equationIf and only ifComplexity theoryAlgebraic structureBoolean functionLambda calculusAxiom of extensionalityDiophantine equationConstraint satisfactionIntensional logicParameterized complexityProgramming language theoryType theoryRational root theoremAutomated theorem provingProbabilistic logicSet functionRecursive languageP-complete