3333 search results - page 425 / 667 » Abstract Proof Search |
148
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
150
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...
134
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--In this paper, the results for the CEC 2010 Competition and Special Session on Constrained Real-Parameter Optimization using the multiobjective differential evolution alg...
191
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonall...
138
click to vote
AICOM
2007
15 years 6 months ago
2007
Abstract. Tournament scheduling, such as the social golfer problem, has attracted significant attention in recent years because of their highly symmetrical and combinatorial natur...