You have Guest access.
Log In
Volume 1 / 1996 - Volume 17 / 2012
Remove criteria to expand these results
Add criteria from below to refine these results
Survey
An overview of parallel SAT solving
Ruben Martins, Vasco Manquinho and Inês Lynce
Online First™, 10 April 2012
Dulmage-Mendelsohn Canonical Decomposition as a generic pruning technique
Radosław Cymer
Improved filtering for weighted circuit constraints
Pascal Benchimol, Willem-Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau and Michel Rueher
Online First™, 24 March 2012
FAQ General info on journals and books Send us your feedback Impressum Site Map Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info