1051 search results - page 182 / 211 » Foundations of Constraint Satisfaction |
82
Voted
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
114
click to vote
ICSM
2006
IEEE
15 years 6 months ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
105
click to vote
FTDCS
2003
IEEE
15 years 5 months ago
2003
IEEE
With the increasing prevalence of mobile devices, computing is being carried out on devices with varied resource constraints and is afflicted by constant changes in run-time conte...
119
Voted
CN
2006
15 years 15 days ago
2006
The problem of optimal data gathering in wireless sensor networks (WSNs) is addressed by means of optimization techniques. The goal of this work is to lay the foundations to devel...
97
Voted
JAIR
2008
15 years 13 days ago
2008
We represent planning as a set of loosely coupled network flow problems, where each network corresponds to one of the state variables in the planning domain. The network nodes cor...