Efficient data structures for backtrack search SAT solvers

Bibliographic Details
Main Authors:	Lynce, Ines (Author), Marques-Silva, Joao (Author)
Format:	Article
Language:	English
Published:	2005-01.
Subjects:	Article
Online Access:	Get fulltext

Get fulltext

Similar Items