The inverse satisfiability problem

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	SIAM journal on computing 1999, Vol.28 (1), p.152-163
Hauptverfasser:	KAVVADIAS, D, SIDERI, M
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Algorithmics. Computability. Computer arithmetics Applied sciences Artificial intelligence Computer science control theory systems Exact sciences and technology Learning and adaptive systems Mathematics Number theory Sciences and techniques of general use Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:
ISSN:	0097-5397 1095-7111