Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
The complexity of Boolean networks
The complexity of Boolean networks
The polynomial time hierarchy collapses if the Boolean hierarchy collapses
SIAM Journal on Computing
Distributed Artificial Intelligence
Distributed Artificial Intelligence
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Methods for task allocation via agent coalition formation
Artificial Intelligence
Distributed rational decision making
Multiagent systems
Coalition structure generation with worst case guarantees
Artificial Intelligence
Relations Among Complexity Measures
Journal of the ACM (JACM)
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The Boolean Hierarchy and the Polynomial Hierarchy: A Closer Connection
SIAM Journal on Computing
The complexity of facets (and some facets of complexity)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Prevarication in dispute protocols
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Task allocation via coalition formation among autonomous agents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Complexity of determining nonemptiness of the core
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reducing coalition structures via agreement specification
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the computational complexity of coalitional resource games
Artificial Intelligence
Temporal qualitative coalitional games
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Dependencies Between Players in Boolean Games
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Reasoning about coalitional games
Artificial Intelligence
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Dependencies between players in Boolean games
International Journal of Approximate Reasoning
Easy and hard coalition resource game formation problems: a parameterized complexity analysis
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Strengthening Admissible Coalitions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Fair Distribution of Collective Obligations
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the computational complexity of coalitional resource games
Artificial Intelligence
Solving coalitional resource games
Artificial Intelligence
Coalition structure generation utilizing compact characteristic function representations
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Expressing properties of coalitional ability under resource bounds
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
On agent types in coalition formation problems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Non-transferable utility coalitional games via mixed-integer linear constraints
Journal of Artificial Intelligence Research
On the complexity of package recommendation problems
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
| Hi-index | 0.00 |
Boolean satisfiability (SAT) and maximum satisfiability (Max-SAT) are difficult combinatorial problems that have many important real-world applications. In this paper, we first investigate the configuration landscapes of local minima reached by the WalkSAT ...