2266 search results - page 357 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
136
Voted
CGF
2000
15 years 3 months ago
2000
This paper presents a new technique called motion balance filtering, which corrects an unbalanced motion to a balanced one while preserving the original motion characteristics as ...
175
click to vote
DISOPT
2011
14 years 11 months ago
2011
SAT and MAX SAT are among the most prominent problems for which local search algorithms have been successfully applied. A fundamental task for such an algorithm is to increase the...
255
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
115
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
133
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...