Abstract is missing.
- Warped Landscapes and Random Acts of SAT SolvingDave A. D. Tompkins, Holger H. Hoos. [doi]
- New Look-Ahead Schemes for Constraint SatisfactionKalev Kask, Rina Dechter, Vibhav Gogate. [doi]
- Spines of Random Constraint Satisfaction Problems: Definition and Impact on Computational ComplexityStefan Boettcher, Gabriel Istrate, Allon G. Percus. [doi]
- Approximate Probabilistic Constraints and Risk-Sensitive Optimization Criteria in Markov Decision ProcessesDmitri A. Dolgov, Edmund H. Durfee. [doi]
- Heuristics for a Brokering Set Packing ProblemYunsong Guo, Andrew Lim, Brian Rodrigues, Yi Zhu. [doi]
- Using Logic Programs to Reason about Infinite SetsDouglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel. [doi]
- Parameter Reusing in Learning Latent Class ModelsGytis Karciauskas, Finn Verner Jensen, Tomás Kocka. [doi]
- Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free CodesJustin Pearson. [doi]
- Crane Scheduling with Spatial Constraints: Mathematical Models and Solving ApproachesYi Zhu, Andrew Lim. [doi]
- Using the Central Limit Theorem for Belief Network LearningIan Davidson, Minoo Aminian. [doi]
- Bayesian Model Averaging Across Model Spaces via Compact EncodingKe Yin, Ian Davidson. [doi]
- Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with SumsBrahim Hnich, Zeynep Kiziltan, Toby Walsh. [doi]
- Deductive Algorithmic KnowledgeRiccardo Pucella. [doi]
- Modeling and Reasoning with Star CalculusDebasis Mitra. [doi]
- Combining Cardinal Direction Relations and Relative Relations in QSRAmar Isli. [doi]
- Inferring Utilities from Negotiation ActionsAngelo C. Restificar, Peter Haddawy. [doi]
- Biased Minimax Probability Machine for Medical DiagnosisKaizhu Huang, Haiqin Yang, Irwin King, Michael R. Lyu, Laiwan Chan. [doi]
- Improving Exact Algorithms for MAX-2-SATHaiou Shen, Hantao Zhang. [doi]
- Multi-Agent Dialogue ProtocolsChristopher D. Walton. [doi]
- Production Inference, Nonmonotonicity and AbductionAlexander Bochman. [doi]
- Analysis of Greedy Robot-Navigation MethodsApurva Mudgal, Craig A. Tovey, Sven Koenig. [doi]
- Unrestricted vs Restricted Cut in a Tableau Method for Boolean CircuitsMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä. [doi]
- Using Automatic Case Splits and Efficient CNF Translation to Guide a SAT-solver when Formally Verifying Out-Of-Order ProcessorsMiroslav N. Velev. [doi]
- Learning via Finitely Many QueriesAndrew C. Lee. [doi]
- Interval-Based Multicriteria Decision MakingMartine Ceberio, François Modave. [doi]
- A Simple Yet Effective Framework for Optimization ProblemsGaofeng Huang, Andrew Lim. [doi]
- Explicit Manifold Representations for Value-Function Approximation in Reinforcement LearningWilliam D. Smart. [doi]
- A Framework for Sequential Planning in Multi-Agent SettingsPiotr J. Gmytrasiewicz, Prashant Doshi. [doi]
- The Expressive Rate of ConstraintsHubie Chen. [doi]
- Generalized Opinion PoolingAshutosh Garg, T. S. Jayram, Shivakumar Vaithyanathan, Huaiyu Zhu. [doi]