Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages1

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal on satisfiability, Boolean modeling and computation Boolean modeling and computation, 2006-03, Vol.1 (1), p.61-88
Hauptverfasser:	Coste-Marquis, Sylvie, Le Berre, Daniel, Letombe, Florian, Marquis, Pierre
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!