University of Kent - The UK's European University

University of Kent - Home

Quick links

Information for me

About
Planning and strategy

University Plan 2009-2012

International impact

Student experience

UK's European university

Annual review and reports

Governance

Constitution

General regulations

Academic regulations

Charity information

People

Vice-Chancellor

Executive Group

Principal officers

Honorary graduates

Committees

Departments

Schools and faculties

Professional services

External services

Complete A-Z

More about Kent

Job vacancies

Key facts 2011

History

Regional impact

Community relations

Events and what's on

Full calendar

Term dates

Open Lectures

Gulbenkian
Research
Excellence at Kent

RAE 2008

Expertise search

Publications

Postgraduate courses

Job vacancies

Research news

Research features

Research degrees

Search courses

Research degrees

How to apply

Postgraduate funding

Graduate school

Departments

Schools and faculties

Research Services

Services for businesses

Kent Innovation and Enterprise
Courses
Undergraduate 2013

Online prospectus

Search courses

Employability and careers

How to apply

Fees and funding

Undergraduate 2012

Online prospectus

Search courses

Employability and careers

How to apply

Fees and funding

Postgraduate 2012

Online prospectus

Search courses

Research degrees

Taught courses

Fees and funding

Part-time

Online prospectus

Part-time study options

Part-time funding

How to apply

International

Foundation (IFP)

Pre-sessional English

Junior Year Abroad (JYA)

Erasmus

Short-term programmes

Visit Kent

Open Days

UCAS Visit days

Informal visits

Kent around the world

Useful links

Accommodation

Fees and funding

Scholarships

Locations

Admissions FAQs

Information for...

International students

Parents and family

Applicants

New students
Locations
Canterbury

Campus

Accommodation

Services and support

Students' union

City and region

Visit Canterbury

Maps and directions

Medway

Campus

Accommodation

Services and support

Students' union

City and region

Visit Medway

Maps and directions

Brussels

Campus

Maps and directions

BSIS website

Paris

Centre

Maps and directions

Tonbridge

Tonbridge centre

Maps and directions

Visit Tonbridge

Other locations

Associate/partner colleges
International
Courses

Study and work abroad

Double-degrees

Short-term study options

'International' courses

Erasmus exchanges

International students

Before you apply

After you apply

When you arrive

Partners & exchanges

European partnerships

Worldwide exchanges

Hong Kong/China portal

Erasmus Mundus

Alumni groups/networks

Contacts

International Development

English & world languages

Strategy & reputation

International impact

World-leading research

UK's European university

Maps

International impact

European partnerships

Campus locations
Business
International expertise

Business services

Collaborative projects

Consultancy

Facilities

Employability points

Courses

Undergraduate

Postgraduate

Part-time (undergraduate)

Executive education

Contacts

Innovation & Enterprise

Kent Business School

Kent Enterprise Hub

Conferences and functions

Sports centre and facilities
News
University news

Headlines

Kent in the news

News archive

RSS feeds

Blogs

Press Office contacts

Students and staff

Student news

Staff news

Campus transport news

Kent magazine

IT service alerts

Submit a story
Alumni
Lasting connections...

Alumni and friends

News

Events

Keeping in touch

Alumni groups

Former staff

Useful links

Congregations

Honorary graduates

Discount on fees

Alumni scholarships

Online giftshop
Giving
Major projects

Kent Law Campaign

Music building

Scholarships Campaign

Hong Kong & China Portal

Ways to give

Online

By post or phone

Other options..

School of Computing

Search

School of Computing

Publications by Mr Edward Barrett

Publication period (10/2010 onwards) - ordered by publication type and date

Journal Papers |

Journal Papers

Range and Set Abstraction using SAT. Edd Barrett and Andy King. Electronic Notes in Theoretical Computer Science, 267(1):17-27, October 2010.

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 12/03/2012 17:47

© University of Kent - Contact | Feedback | Legal

The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000

Kent's European politics expert Richard Whitman suggests eurozone crisis threatens political unity aspirations http://t.co/LLefDRVf

Posted 3 days ago