SITE TREE
About IIIA
Departments
Research
Technology Transfer
People
Activities
Library
Monographs
Join Us
Last Ph Ds
Encodings and Benchmarks for MaxSAT Solving
Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view,
Distributed Constraint Optimization Related with Soft Arc Consistency
Using Norms to Control Open Multi-agent Systems
Facing the challenge of automated negotiation with humans
Trust Alignment and Adaptation: Two Approaches for Talking about Trust in Multi-Agent Systems
Intelligent Generation and Control of Interactive Virtual Worlds
Read more >>
Català
English
Español
Home
Contact
Web Map
LOGIN
Encodings and Benchmarks for MaxSAT Solving
Author:
Alba Cabiscol
Year:
2012
University:
Universitat de LLeida
Advisor:
Felip Manyà
Advisor:
Ramon Bejar
22/6/2012
»
Printer-friendly version
desarrollo web innodus
