Show simple item record

dc.contributor.convenorBrahim Hnich
dc.contributor.authorPham, Nghia
dc.contributor.authorThornton, John
dc.contributor.authorSattar, Abdul
dc.contributor.editorHnich, Brahim
dc.contributor.editorProsser, Patrick
dc.contributor.editorSmith, Barbara
dc.date.accessioned2017-05-03T12:54:28Z
dc.date.available2017-05-03T12:54:28Z
dc.date.issued2005
dc.date.modified2007-03-21T21:28:41Z
dc.identifier.refurihttp://4c.ucc.ie/~brahim/mod-proc.pdf
dc.identifier.urihttp://hdl.handle.net/10072/2595
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherPublished online
dc.publisher.placeURL: http://4c.ucc.ie/~brahim/mod-proc.pdf
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameFourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems
dc.relation.ispartofconferencetitleModelling and Reformulating Constraint Satisfaction Problems
dc.relation.ispartofdatefrom2005-10-01
dc.relation.ispartofdateto2005-10-01
dc.relation.ispartoflocationSitges, Spain
dc.rights.retentionY
dc.subject.fieldofresearchcode280213
dc.titleModelling and Solving Temporal Reasoning as Propositional Satisfiability
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.date.issued2005
gro.hasfulltextNo Full Text
gro.griffith.authorSattar, Abdul
gro.griffith.authorThornton, John R.
gro.griffith.authorPham, Nghia N.


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record