Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Andrei Krokhin Articles by Andrei Bulatov Articles by Peter Jeavons

33rd International Symposium on Multiple-Valued Logic

Tokyo, Japan

May 16-May 19

ISBN: 0-7695-1918-0

	ASCII Text	x
	Andrei Krokhin, Andrei Bulatov, Peter Jeavons, "Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey," Multiple-Valued Logic, IEEE International Symposium on, pp. 343, 33rd International Symposium on Multiple-Valued Logic, 2003.

	BibTex	x
	@article{ 10.1109/ISMVL.2003.1201427, author = {Andrei Krokhin and Andrei Bulatov and Peter Jeavons}, title = {Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey}, journal ={Multiple-Valued Logic, IEEE International Symposium on}, volume = {0}, year = {2003}, issn = {0195-623X}, pages = {343}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2003.1201427}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Multiple-Valued Logic, IEEE International Symposium on TI - Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey SN - 0195-623X SP EP A1 - Andrei Krokhin, A1 - Andrei Bulatov, A1 - Peter Jeavons, PY - 2003 KW - null VL - 0 JA - Multiple-Valued Logic, IEEE International Symposium on ER -

Andrei Krokhin, University of Warwick

Andrei Bulatov, University of Oxford

Peter Jeavons, University of Oxford

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2003.1201427

Many computational problems arising in artificial intelligence, computer science and elsewhere can be represented as constraint satisfaction and optimization problems. In this short survey we discuss an approach that is related to the algebraic component of multiple-valued logic and that has proved to be very succesful in studying the complexity of constraint satisfaction.

Citation:

Andrei Krokhin, Andrei Bulatov, Peter Jeavons, "Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey," ismvl, pp.343, 33rd International Symposium on Multiple-Valued Logic, 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.