Ian Gent
http://dbpedia.org/resource/Ian_Gent an entity of type: Thing
Ian Gent is a British computer scientist working in the area of artificial intelligence and specialising in the area of constraint programming. He is a professor at the University of St Andrews. He (along with Toby Walsh) first wrote about the phase transition in many NP complete problems, in particular SAT. He was also one of the first researchers to investigate full generic methods to handle symmetry in constraint programming. Gent founded recomputation.org, to promote reproducible experiments in computer science.
rdf:langString
rdf:langString
Ian Gent
rdf:langString
Ian Philip Gent
rdf:langString
Ian Philip Gent
xsd:integer
45483966
xsd:integer
1085193876
rdf:langString
Analytic proof systems for classical and modal logics of restricted quantification
xsd:integer
1992
rdf:langString
British
rdf:langString
Ian Gent is a British computer scientist working in the area of artificial intelligence and specialising in the area of constraint programming. He is a professor at the University of St Andrews. He (along with Toby Walsh) first wrote about the phase transition in many NP complete problems, in particular SAT. He was also one of the first researchers to investigate full generic methods to handle symmetry in constraint programming. Gent founded recomputation.org, to promote reproducible experiments in computer science. He was one of the founders of the csplib.org website, and popularised the Petrie Multiplier. In January 2013 Gent founded the blog Depressed Academics with Mikael Vejdemo-Johansson.
rdf:langString
Tony Cohn
xsd:nonNegativeInteger
3815