3267 search results - page 480 / 654 » Generalized quasirandom graphs |
150
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
166
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
Ranking systems are a fundamental ingredient of multi-agent environments and Internet Technologies. These settings can be viewed as social choice settings with two distinguished p...
177
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...
142
click to vote
ICALP
2007
Springer
16 years 21 days ago
2007
Springer
Register allocation is NP-complete in general but can be solved in linear time for straight-line programs where each variable has at most one definition point if the bank of regis...
256
click to vote
IWCLS
2007
Springer
16 years 20 days ago
2007
Springer
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...