4513 search results - page 668 / 903 » Logic programming with satisfiability |
144
click to vote
ESEM
2008
ACM
15 years 5 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
175
click to vote
SOQUA
2007
15 years 5 months ago
2007
When choosing a testing technique, practitioners want to know which one will detect the faults that matter most to them in the programs that they plan to test. Do empirical evalua...
142
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
129
Voted
JCST
2008
15 years 3 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
149
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...