295 search results - page 16 / 59 » SAT, SMT and Applications |
94
Voted
IEEECIT
2010
IEEE
14 years 10 months ago
2010
IEEE
- The increase of embedded applications complexity has demanded hardware more flexible while providing higher performance. Reconfigurable architectures and stream processing have b...
119
click to vote
IGARSS
2009
14 years 9 months ago
2009
DubaiSat-1 is an initiative from Emirates Institution for Advanced Science and Technology (EIAST) to start the first Earth observation satellite program in the United Arab Emirate...
ENTCS
2006
14 years 11 months ago
2006
New heuristics and strategies have enabled major advancements in SAT solving in recent years. However, experimentation has shown that there is no winning solution that works in al...
COCO
2003
Springer
15 years 5 months ago
2003
Springer
We show that if SAT does not have small circuits, then there must exist a small number of satisfiable formulas such that every small circuit fails to compute satisfiability corr...
109
click to vote
SARA
2009
Springer
15 years 6 months ago
2009
Springer
We study novel approaches for solving of hard combinatorial problems by translation to Boolean Satisfiability (SAT). Our focus is on combinatorial problems that can be represented...