Research Explorer
Papers
Conferences
Authors
Topics
Keywords
Trends
Achievements
Explore
← Back to papers
2013
IJCAI
IJCAI 2013
Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability
🚀
Conference Pioneer
— IJCAI 2013
Authors
Thach-Thao Duong
,
Duc Nghia Pham
,
Abdul Sattar
,
M. A. Hakim Newton
Download PDF
Related papers
Reasoning about Normative Update
2013
Maximal Recursive Rule: A New Social Decision Scheme
2013
Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence
2013
A Formal Account of Nondeterministic and Failed Actions
2013
Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping
2013