2109 search results - page 32 / 422 » Solving Necklace Constraint Problems |
152
click to vote
AAAI
2007
15 years 6 months ago
2007
Solving logic puzzles has become a very popular past-time, particularly since the Sudoku puzzle started appearing in newspapers all over the world. We have developed a puzzle gene...
139
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
147
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
For a variety of signal processing applications polynomials are implemented in circuits. Recent work on polynomial datapath optimization achieved significant reductions of hardware...
101
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
156
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Learning in the context of constraint solving is a technique by which previously unknown constraints are uncovered during search and used to speed up subsequent search. R...