16091 search results - page 132 / 3219 » Solving |
101
Voted
ALT
2006
Springer
16 years 12 days ago
2006
Springer
122
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is su...
132
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Alpaga is a solver for parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs...
106
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract: Nowadays, it has become common to equip a device with Bluetooth. As such devices become pervasive in the world; much work has been done on forming them into a network, ho...
91
Voted
ICEIS
2009
IEEE
15 years 10 months ago
2009
IEEE