Discovery Projects - Grant ID: DP150101618

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP150101618

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Searching for Maximal Satisfaction. A wide range of practical problems such as scheduling, timetabling, planning and economic forecasting are not only computationally intractable in general, but often involve conflicting constraints that make them unsolvable. These problems can be represented as MaxSAT, the optimisation version of the satisfiability problem (SAT). This project aims to develop novel and efficient algorithms to address the problem of maximal satisfaction. It is proposed that these algorithms will be implemented within prototype MaxSAT solver systems, which will be experimentally evaluated on large-sized real world optimisation problems of high economic and societal significance. These solvers are expected to also compete in the industrial track of the international SAT solving competitions.

Funded Activity Details

Start Date: 01-01-2015

End Date: 28-02-2018

Funding Scheme: Discovery Projects

Funding Amount: $325,500.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Artificial Intelligence and Image Processing not elsewhere classified | Artificial Intelligence and Image Processing

ANZSRC Socio-Economic Objective (SEO)

Application Tools and System Utilities |

Other Keywords

Application Tools and System Utilities | Artificial Intelligence and Image Processing | Artificial Intelligence and Image Processing not elsewhere classified

Related Links