295 search results - page 28 / 59 » SAT, SMT and Applications |
128
click to vote
ISMVL
2000
IEEE
15 years 6 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
113
click to vote
ICTAI
2003
IEEE
15 years 7 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
112
click to vote
RSFDGRC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Feature selection refers to the problem of selecting those input features that are most predictive of a given outcome; a problem encountered in many areas such as machine...
108
click to vote
SAT
2007
Springer
15 years 8 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...
125
click to vote
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...