Show simple item record

dc.contributor.convenorBrahim Hnichen_AU
dc.contributor.authorPham, Nghiaen_US
dc.contributor.authorThornton, Johnen_US
dc.contributor.authorSattar, Abdulen_US
dc.contributor.editorBrahim Hnich, Patrick Prosser and Barbara Smithen_US
dc.date.accessioned2017-04-24T09:59:01Z
dc.date.available2017-04-24T09:59:01Z
dc.date.issued2005en_US
dc.date.modified2007-03-21T21:28:41Z
dc.identifier.refurihttp://4c.ucc.ie/~brahim/mod-proc.pdfen_AU
dc.identifier.urihttp://hdl.handle.net/10072/2595
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherPublished onlineen_US
dc.publisher.placeURL: http://4c.ucc.ie/~brahim/mod-proc.pdfen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencenameFourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problemsen_US
dc.relation.ispartofconferencetitleModelling and Reformulating Constraint Satisfaction Problemsen_US
dc.relation.ispartofdatefrom2005-10-01en_US
dc.relation.ispartofdateto2005-10-01en_US
dc.relation.ispartoflocationSitges, Spainen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleModelling and Solving Temporal Reasoning as Propositional Satisfiability *en_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.date.issued2005
gro.hasfulltextNo Full Text


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