Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
    • by 
    •   3  
      EngineeringMathematical SciencesLower Bound
The average time required by backtracking is analyzed over four models of random conjunctive normal form formulas. Each model gives a result of exp(0(I'(' n)/(r-")), where o is the number of variables from which literals may be formed. s... more
    • by 
    •   8  
      EngineeringMathematical SciencesBoolean SatisfiabilityAverage Case Analysis
    • by 
    •   2  
      Timing AnalysisPure Mathematics
    • by 
    •   7  
      EngineeringMathematicsComputer ScienceMathematical Sciences
Clinical care genemtes an immense amount of patient abta that has been archived and manipulated by computerbased information systems. Such computer-based medical record systems improved the accessibi@ of clinical information and made... more
    • by 
    •   13  
      AlgebraComputer ScienceFunctional ProgrammingPolymorphism
    • by 
    •   7  
      EngineeringMathematicsComputer ScienceMathematical Sciences
Clinical care genemtes an immense amount of patient abta that has been archived and manipulated by computerbased information systems. Such computer-based medical record systems improved the accessibi@ of clinical information and made... more
    • by 
    •   13  
      AlgebraComputer ScienceFunctional ProgrammingPolymorphism