Institutional Repository

Browsing School of Computing by Subject "Heuristic algorithms"

Browsing School of Computing by Subject "Heuristic algorithms"

Sort by: Order: Results:

  • A comparison of graph colouring techniques 
    Parkinson, E; Warren, PR (South African Computer Society (SAICSIT), 1995)
    Many scheduling problems can be modelled as graph colouring problems. This paper gives a survey of heuristic algorithms used to colour graphs by describing a number of such algorithms found in the literature using an ...
  • Evaluating reasoning heuristics for a hybrid theorem proving platform 
    Ackermann, Jacobus Gideon (2018-06)
    The formalisation of first-order logic and axiomatic set theory in the first half of the 20th century—along with the advent of the digital computer—paved the way for the development of automated theorem proving. In the ...

Search UnisaIR


Browse

My Account