dc.contributor.convenor | Brahim Hnich | |
dc.contributor.author | Pham, Nghia | |
dc.contributor.author | Thornton, John | |
dc.contributor.author | Sattar, Abdul | |
dc.contributor.editor | Hnich, Brahim | |
dc.contributor.editor | Prosser, Patrick | |
dc.contributor.editor | Smith, Barbara | |
dc.date.accessioned | 2017-05-03T12:54:28Z | |
dc.date.available | 2017-05-03T12:54:28Z | |
dc.date.issued | 2005 | |
dc.date.modified | 2007-03-21T21:28:41Z | |
dc.identifier.refuri | http://4c.ucc.ie/~brahim/mod-proc.pdf | |
dc.identifier.uri | http://hdl.handle.net/10072/2595 | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Published online | |
dc.publisher.place | URL: http://4c.ucc.ie/~brahim/mod-proc.pdf | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | Fourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems | |
dc.relation.ispartofconferencetitle | Modelling and Reformulating Constraint Satisfaction Problems | |
dc.relation.ispartofdatefrom | 2005-10-01 | |
dc.relation.ispartofdateto | 2005-10-01 | |
dc.relation.ispartoflocation | Sitges, Spain | |
dc.rights.retention | Y | |
dc.subject.fieldofresearchcode | 280213 | |
dc.title | Modelling and Solving Temporal Reasoning as Propositional Satisfiability | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.faculty | Griffith Sciences, School of Information and Communication Technology | |
gro.date.issued | 2005 | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Sattar, Abdul | |
gro.griffith.author | Thornton, John R. | |
gro.griffith.author | Pham, Nghia N. | |