Cost-Optimal Planning using Weighted MaxSAT

N Robinson; Charles Gretton; D-N Pham; A Sattar; MA Salido; R Barták; N Yorke-Smith

Cost-Optimal Planning using Weighted MaxSAT

N Robinson, Charles Gretton, D-N Pham, A Sattar, MA Salido, R Barták, N Yorke-Smith

Computer Science

Research output: Contribution to conference (unpublished) › Paper

1 Citation (Scopus)

Original language	English
Pages	14-22
Number of pages	9
Publication status	Published - 1 May 2010
Event	COPLAS 2010, Proceedings of the ICAPS 2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems - Duration: 1 May 2010 → …

Conference

Conference	COPLAS 2010, Proceedings of the ICAPS 2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems
Period	1/05/10 → …

Cite this

@conference{228d70e5ca3342af817a3b2f498d6021,

title = "Cost-Optimal Planning using Weighted MaxSAT",

author = "N Robinson and Charles Gretton and D-N Pham and A Sattar and MA Salido and R Bart{\'a}k and N Yorke-Smith",

year = "2010",

month = may,

day = "1",

language = "English",

pages = "14--22",

note = "COPLAS 2010, Proceedings of the ICAPS 2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems ; Conference date: 01-05-2010",

}

TY - CONF

T1 - Cost-Optimal Planning using Weighted MaxSAT

AU - Robinson, N

AU - Gretton, Charles

AU - Pham, D-N

AU - Sattar, A

AU - Salido, MA

AU - Barták, R

AU - Yorke-Smith, N

PY - 2010/5/1

Y1 - 2010/5/1

M3 - Paper

SP - 14

EP - 22

T2 - COPLAS 2010, Proceedings of the ICAPS 2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems

Y2 - 1 May 2010

ER -