Institutional Repository

Browsing by Subject "Heuristic algorithms"

Browsing 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 ...
  • Time-window optimization for a constellation of earth observation satellite 
    Oberholzer, Christiaan Vermaak (2009-02)
    Satellite Scheduling Problems (SSP) are NP-hard and constraint programming and metaheuristics solution methods yield mixed results. This study investigates a new version of the SSP, the Satellite Constellation Time-Window ...

Search UnisaIR

Browse

My Account