Collaborative Approach for Multi-Threaded SAT Solving

The last decade progresses have led the Satisfiability Problem (sat) to be a great and competitive practical approach to solve a wide range of industrial and academic problems. Thanks to these progresses, the size and difficulty of the sat instances has grown significantly. Among the recent solvers,...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of parallel programming 2009-06, Vol.37 (3), p.324-342
Hauptverfasser:	Vander-Swalmen, Pascal, Dequen, Gilles, Krajecki, Michaël
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Artificial Intelligence Boolean Collaboration Combinatorics Computer programming Computer Science Distributed, Parallel, and Cluster Computing Open source software Optimization Parallel processing Processor Architectures Software Engineering/Programming and Operating Systems Studies Theory of Computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!