16091 search results - page 132 / 3219 » Solving |
ALT
2006
Springer
15 years 11 months ago
2006
Springer
112
click to vote
FLOPS
2010
Springer
15 years 9 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...
125
Voted
TACAS
2009
Springer
15 years 9 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...
CSE
2009
IEEE
15 years 9 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...
ICEIS
2009
IEEE
15 years 9 months ago
2009
IEEE