Search:
Computing and Library Services - delivering an inspiring information environment

Eliminating All Redundant Actions from Plans Using SAT and MaxSAT

Balyo, Tomáš and Chrpa, Lukáš (2014) Eliminating All Redundant Actions from Plans Using SAT and MaxSAT. In: Proceedings of the 5th Workshop on Knowledge Engineering for Planning and Scheduling. 2014 . ICAPS, Portsmouth, USA, pp. 16-22.

[img] PDF - Accepted Version
Download (208kB)
Item Type: Book Chapter
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
Related URLs:
Depositing User: Lukas Chrpa
Date Deposited: 25 Jun 2014 14:46
Last Modified: 02 Dec 2016 05:01
URI: http://eprints.hud.ac.uk/id/eprint/20862

Downloads

Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©