Visualizing SAT Instances and Runs of the DPLL Algorithm

Issue Title: Special Issue on User Interfaces in Theorem Proving SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories. However, although recent implementations are able to solve problems with h...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of automated reasoning 2007-08, Vol.39 (2), p.219-243
1. Verfasser:	Sinz, Carsten
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Studies
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!