Back to University of Twente portal

Login

UTpublications

Home About Upload Latest Additions Statistics Contact

UT Student Theses

Dutch Academic Output Dutch Dissertations EU Publications (OpenAIRE)

Advanced search

An improved local search algorithm for 3-SAT

Brueggemann, T. and Kern, W. (2004) An improved local search algorithm for 3-SAT. [Report]

[img]

Preview

PDF
199Kb

Abstract:	We slightly improve the pruning technique presented in Dantsin et. al. (2002) to obtain an $\mathcal{O}^*\left(1.473^n\right)$ algorithm for 3-SAT.
Item Type:	Report
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Discrete Mathematics and Mathematical Programming (DMMP)
Link to this item:	http://purl.utwente.nl/publications/65894
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Education
▪ Behavioural Sciences
▪ Management and Governance
▪ Engineering Technology
▪ Electrical Engineering, Mathematics and Computer Science
▪ Science and Technology
▪ Geo-Information Science and Earth Observation
▪ Overview programmes

Research
▪ Centre for Telematics and Information Technology
▪ Institute for Behavioral Research
▪ Institute for Innovation and Governance Studies
▪ Institute of Mechanics, Processes and Control
▪ Mesa+ Institute for Nanotechnology
▪ MIRA Biomedical Technology and Technical Medicine

Cooperation
▪ Alumni
▪ Universiteitsfonds
▪ Kennispark Twente
▪ Entrepreneurs
▪ The Science Shop
▪ Press