Extracting reputation in multi agent systems by means of social network topology
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Chance discoveries for making decisions in complex real world
New Generation Computing
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
Journal of Automated Reasoning
Modelling More Realistic SAT Problems
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Eighteenth national conference on Artificial intelligence
The interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT
Eighteenth national conference on Artificial intelligence
Agent network topology and complexity
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Web Communities: Models and Algorithms
World Wide Web
Dynamic Subset Selection Based on a Fitness Case Topology
Evolutionary Computation
Theoretical Computer Science - Complex networks
A generic search strategy for large-scale real-world networks
InfoScale '06 Proceedings of the 1st international conference on Scalable information systems
Describing and simulating internet routes
Computer Networks: The International Journal of Computer and Telecommunications Networking
Discrete Applied Mathematics
Visualizing SAT Instances and Runs of the DPLL Algorithm
Journal of Automated Reasoning
Exploiting hierarchy and structure to efficiently solve graph coloring as SAT
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Comparison of Boolean satisfiability encodings on FPGA detailed routing problems
Proceedings of the conference on Design, automation and test in Europe
A Restarted Strategy for Efficient Subsumption Testing
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
A generative power-law search tree model
Computers and Operations Research
An Empirical Analysis of the Complexity of Model-Based Diagnosis
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
The difference all-difference makes
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The effect of restarts on the efficiency of clause learning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Optimal refutations for constraint satisfaction problems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An Empirical Study of the Manipulability of Single Transferable Voting
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Unstructured peer-to-peer networks: topological properties and search performance
AP2PC'04 Proceedings of the Third international conference on Agents and Peer-to-Peer Computing
| Hi-index | 0.00 |