Solving boolean satisfiability using local search guided by unit clause elimination

Bibliographische Detailangaben

Hauptverfasser:	HIRSCH, Edward A, KOJEVNIKOV, Arist
Format:	Tagungsbericht
Sprache:	rus
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!