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.

Information
Library
Statistics
Documents

[+][-]

Information

URI:

https://eprints.hud.ac.uk/id/eprint/20862

Title:

Eliminating All Redundant Actions from Plans Using SAT and MaxSAT

Creators:

Balyo, Tomáš and Chrpa, Lukáš

Editors:

Bartak, Roman, Fratini, Simone, McCluskey, T.L. and Vaquero, Tiago

Official URL:

http://icaps14.icaps-conference.org/proceedings/ke...

Date:

June 2014

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

Library

Item Type:

Book Chapter

Presentation Type:

Paper

Depositing User:

Lukas Chrpa

Date Deposited:

25 Jun 2014 14:46

Revision:

Last Modified:

28 Aug 2021 19:08

Documents

keps14.pdf - Accepted Version

Download (208kB)

Statistics

Downloads

Downloads per month over past year

CORE (COnnecting REpositories)

Tools