satUZK

swMATH18570MaRDI QIDQ30406FDOQ30406

Author name not available (Why is that?)

Official website: http://s3.amazonaws.com/academia.edu.documents/30605172/sc2012_proceedings.pdf?AWSAccessKeyId=AKIAJ56TQJRTWSMTNPEA&Expires=1484649404&Signature=v8cnTGpPnL0cCPJYtEZvycVrAPg%3D&response-content-disposit

Cited In (6)

• XSAT and NAE-SAT of linear CNF classes
• pfolioUZK
• Maple_LCM_Dist_ChronoBT
• Clause vivification by unit propagation in CDCL SAT solvers
• Automatic construction of parallel portfolios via algorithm configuration
• Between SAT and UNSAT: the fundamental difference in CDCL SAT

This page was built for software: satUZK