Library
Log In
Log in with your UoM account
Problems logging in with your UoM account?
or
Guest login
Email address
Password
Have you forgotten your guest credentials?
Library
FAQs
Communities & Collections
Browse Repository
My Lists
search
Search
Log In
Log in with your UoM account
Problems logging in with your UoM account?
or
Guest login
Email address
Password
Have you forgotten your guest credentials?
Home
Minerva Access
Engineering and Information Technology
Computing and Information Systems
Computing and Information Systems - Theses
Computing and Information Systems - Theses
Permanent URI for this collection
http://hdl.handle.net/11343/351
1 results
Back to results
Filters
Date
Start
End
Submit
2016
1
Author
Downing, Nicholas Ronald
Search author name
Submit
Subject
lazy clause generation
network flow
scheduling
alldifferent
1
boolean satisfiability
1
constraint programming
1
Show more
Search subject
Submit
Type
PhD thesis
1
Search type
Submit
Reset filters
Settings
Sort By
Title Ascending
Title Descending
Date Issued Ascending
Date Issued Descending
Date Available Ascending
Date Available Descending
Results per page
1
5
10
20
40
60
80
100
Statistics
Show statistics
Citations
Show citations
Search
Author: Downing, Nicholas Ronald
×
End date: 2016
×
Start date: 2011
×
Subject: lazy clause generation
×
Subject: network flow
×
Subject: scheduling
×
Search Tools
Search Results
Show statistical information