4513 search results - page 33 / 903 » Logic programming with satisfiability |
EC
2008
14 years 10 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
CODES
2005
IEEE
15 years 3 months ago
2005
IEEE
Instruction-set extensible processors allow an existing processor core to be extended with application-specific custom instructions. In this paper, we explore a novel application...
SAT
2007
Springer
15 years 4 months ago
2007
Springer
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
90
Voted
EUSFLAT
2009
14 years 7 months ago
2009
