920 search results - page 87 / 184 » Generating Satisfiable Problem Instances |
119
click to vote
DDECS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
140
Voted
PVLDB
2008
15 years 29 days ago
2008
Data exchange is the process of converting an instance of one schema into an instance of a different schema according to a given specification. Recent data exchange systems have l...
107
Voted
AUTOMATICA
2005
15 years 2 months ago
2005
Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper, we provide a constructive method for hierarchical trajectory refinement. ...
167
click to vote
ANTSW
2004
Springer
15 years 8 months ago
2004
Springer
A general-purpose, simulation-based algorithm S-ACO for solving stochastic combinatorial optimization problems by means of the ant colony optimization (ACO) paradigm is investigate...
134
Voted
ICAC
2008
IEEE
15 years 9 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...