Publication | Closed Access

Relational heuristics for the design of deterministic programs

Programming Language TheoryEngineeringProgram AnalysisAutomated ReasoningFormal MethodsComputer ScienceRelational HeuristicsKnowledge CompilationSoftware AnalysisSoftware DesignNon-deterministic Game