920 search results - page 87 / 184 » Generating Satisfiable Problem Instances |
106
click to vote
DDECS
2009
IEEE
15 years 7 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...
125
click to vote
PVLDB
2008
14 years 11 months 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...
88
Voted
AUTOMATICA
2005
15 years 17 days 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. ...
153
Voted
ANTSW
2004
Springer
15 years 6 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...
110
Voted
ICAC
2008
IEEE
15 years 7 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...