2 search results - page 1 / 1 » Dynamic Scoring Functions with Variable Expressions: New SLS... |
SAT
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— Contact dynamics are commonly formulated as a linear complementarity problem. While this approach is superior to earlier spring-damper models, it can be inaccurate due to pyram...