dc.contributor.author | Carvalho, Catarina | |
dc.contributor.author | Martin, Barnaby | |
dc.contributor.author | Zhuk, Dmitriy | |
dc.date.accessioned | 2019-11-01T01:02:06Z | |
dc.date.available | 2019-11-01T01:02:06Z | |
dc.date.issued | 2017-11-07 | |
dc.identifier.citation | Carvalho , C , Martin , B & Zhuk , D 2017 , The complexity of quantified constraints using the algebraic formulation . in 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) . https://doi.org/10.4230/LIPIcs.MFCS.2017.27 | |
dc.identifier.uri | http://hdl.handle.net/2299/21831 | |
dc.format.extent | 489649 | |
dc.language.iso | eng | |
dc.relation.ispartof | 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) | |
dc.title | The complexity of quantified constraints using the algebraic formulation | en |
dc.contributor.institution | Centre for Computer Science and Informatics Research | |
dc.contributor.institution | Mathematics and Theoretical Physics | |
dc.contributor.institution | School of Physics, Astronomy and Mathematics | |
dc.description.status | Peer reviewed | |
dc.identifier.url | https://arxiv.org/abs/1701.04086 | |
rioxxterms.versionofrecord | 10.4230/LIPIcs.MFCS.2017.27 | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |