Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing

Marques-Silva, Joao, Sakallah, Karem and Lynce, Ines (2007) Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing. AI Magazine, 28, (4), 135-136.

Download

PDF
Available under License Creative Commons Attribution Non-commercial No Derivatives.
Download (221Kb)

Item Type:	Article
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science
Item ID:	265020
Date Deposited:	10 Jan 2008 01:28
Last Modified:	02 Mar 2012 12:21
Contributors:	Marques-Silva, Joao (Author) Sakallah, Karem (Author) Lynce, Ines (Author)
Date:	2007
Status:	Published
Publisher:	AAAI Press
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/265020

URI:
RDF:	RDF+N-Triples, RDF+N3, RDF+XML, Browse.

Actions (login required)

View Item