Compiling problem specifications into SAT: Reformulation

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Artificial intelligence 2005, Vol.162 (1-2), p.89-120
Hauptverfasser:	CADOLI, Marco, SCHAERF, Andrea
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Exact sciences and technology Problem solving, game playing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:
ISSN:	0004-3702