ResearchSpace
→
Browsing by Subject

Browsing by Subject "Semiring constraint satisfaction framework"

Now showing items 1-1 of 1

Modeling and solving semiring constraint satisfaction problems by transformation to weighted semiring Max-SAT

Author: Leenen, L ; Anbulagan ; Meyer, T ; Ghose, A Date: Dec 2007 The authors present a variant of the Weighted Maximum Satisfiability Problem (Weighted Max-SAT), which is a modeling of the Semiring Constraint Satisfaction framework. They show how to encode a Semiring Constraint Satisfaction Problem (SCSP) ... Read more

Now showing items 1-1 of 1

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing by Subject "Semiring constraint satisfaction framework"

Browsing by Subject "Semiring constraint satisfaction framework"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect