1002 search results - page 168 / 201 » Constraint Answer Set Solving |
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
The puzzle assembly problem has many application areas such as restoration and reconstruction of archeological findings, repairing of broken objects, solving jigsaw type puzzles, ...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
EDBT
2006
ACM
15 years 9 months ago
2006
ACM
Abstract. Physical database design tools rely on a DBA-provided workload to pick an "optimal" set of indexes and materialized views. Such an approach fails to capture sce...
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...