1329 search results - page 53 / 266 » Models and solution techniques for frequency assignment prob... |
MJ
2007
14 years 11 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
116
click to vote
ISCAPDCS
2004
15 years 1 months ago
2004
Internet today, has transformed into a global information hub. The increase in its usage and magnitude have sparkled various research problems. Because of the diverse user populat...
MOBIHOC
2009
ACM
16 years 12 days ago
2009
ACM
We address the problem of jamming-resistant communication in scenarios in which the communicating parties do not share secret keys. This includes scenarios where the communicating...
125
click to vote
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...