Anytime algorithms for constraint satisfaction and SAT problems
ACM SIGART Bulletin
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Reversible DAC and other improvements for solving Max-CSP
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Branch and bound algorithm selection by performance prediction
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Nurse scheduling using constraint logic programming
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches
Artificial Intelligence Review
Semiring-based constraint logic programming: syntax and semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multi-agent oriented constraint satisfaction
Artificial Intelligence
Soft constraint propagation and solving in CHRs
Proceedings of the 2002 ACM symposium on Applied computing
Dynamic Flexible Constraint Satisfaction
Applied Intelligence
State Space Search with Prioritised Soft Constraints
Applied Intelligence
Toward A Constraint-Satisfaction Frameworkfor Evaluating Program-Understanding Algorithms
Automated Software Engineering
Applying Plan Recognition Algorithms To Program Understanding
Automated Software Engineering
Radio Link Frequency Assignment
Constraints
Partition-Based Lower Bound for Max-CSP
Constraints
Algorithms for Distributed Constraint Satisfaction: A Review
Autonomous Agents and Multi-Agent Systems
Abstracting soft constraints: framework, properties, examples
Artificial Intelligence
Applying soft computing in defining spatial relations
Soft Concurrent Constraint Programming
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Soft Constraints for Security Protocol Analysis: Confidentiality
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Constraint Satisfaction for Modelling Scalable Electronic Catalogs
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Solving Overconstrained Temporal Reasoning Problems
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Beyond the Plan-Length Criterion
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Solving Rostering Tasks as Constraint Optimization
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Intelligent Support for Interactive Configuration of Mass-Customized Products
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
A Constraint Directed Model for Partial Constraint Satisfaction Problems
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Anytime Lower Bounds for Constraint Violation Minimization Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Compiling Semiring-Based Constraints with clp (FD, S)
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Arc Consistency for Soft Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Boosting Search with Variable Elimination
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
An Original Constraint Based Approach for Solving over Constrained Problems
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Translations for Comparing Soft Frameworks
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Specializing Russian Doll Search
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
New Lower Bounds of Constraint Violations for Over-Constrained Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Lower Bounds for Non-binary Constraint Optimization Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Interchangeability in Soft CSPs
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Opportunistic Specialization in Russian Doll Search
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A Combinatorial Framework for Map Labeling
GD '98 Proceedings of the 6th International Symposium on Graph Drawing
Bid Evaluation and Selection in the MAGNET Automated Contracting System
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
Specific Filtering Algorithms for Over-Constrained Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
On Optimal Correction of Inconsistent Linear Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Randomized approximations of the constraint satisfaction problem
Nordic Journal of Computing
Node and arc consistency in weighted CSP
Eighteenth national conference on Artificial intelligence
Cooperative negotiation for soft real-time distributed resource allocation
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Distributed breakout algorithm for distributed constraint optimization problems -- DBArelax
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
reality: a scalable intelligent travel planner
Proceedings of the 2003 ACM symposium on Applied computing
A hybrid AI approach for nurse rostering problem
Proceedings of the 2003 ACM symposium on Applied computing
A pre-processing algorithm for solving constraint satisfaction optimisation problems
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Reasoning with Numeric and Symbolic Time Information
Artificial Intelligence Review
Hierarchical nonlinear constraint satisfaction
Proceedings of the 2004 ACM symposium on Applied computing
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
Arc consistency for soft constraints
Artificial Intelligence
Cyclic consistency: a local reduction operation for binary valued constraints
Artificial Intelligence
Soft constraint programming to analysing security protocols
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on nonmonotonic reasoning
Solving Distributed Constraint Optimization Problems Using Cooperative Mediation
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Using Cooperative Mediation to Solve Distributed Constraint Satisfaction Problems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Agent-Based Approach to Dynamic Meeting Scheduling Problems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
A Hybrid Framework for Over-Constrained Generalized
Artificial Intelligence Review
Solving weighted CSP by maintaining arc consistency
Artificial Intelligence
IEEE Intelligent Systems
MaxSolver: an efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
Comparing two approaches to dynamic, distributed constraint satisfaction
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Impact of problem centralization in distributed constraint optimization algorithms
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Contraint-Based Combinators for Local Search
Constraints
Computing lower bound for MAX-CSP problems
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
A two-phase backbone-based search heuristic for partial MAX-SAT: an initial investigation
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
A hybrid framework for over-constrained generalized resource-constrained project scheduling problems
Artificial Intelligence Review
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Meetings scheduling solver enhancement with local consistency reinforcement
Applied Intelligence
On global warming: Flow-based soft global constraints
Journal of Heuristics
Bucket elimination for multiobjective optimization problems
Journal of Heuristics
Hard and soft constraints for reasoning about qualitative conditional preferences
Journal of Heuristics
Soft concurrent constraint programming
ACM Transactions on Computational Logic (TOCL)
Hierarchical variable ordering for distributed constraint optimization
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
The complexity of soft constraint satisfaction
Artificial Intelligence
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Solution techniques for the Large Set Covering Problem
Discrete Applied Mathematics
Soft constraint based pattern mining
Data & Knowledge Engineering
IEEE Intelligent Systems
Relaxations of semiring constraint satisfaction problems
Information Processing Letters
Partial and Fuzzy Constraint Satisfaction to Support Coalition Formation
Electronic Notes in Theoretical Computer Science (ENTCS)
An agent-based approach to solve dynamic meeting scheduling problems with preferences
Engineering Applications of Artificial Intelligence
Tackling car sequencing problems using a generic genetic algorithm
Evolutionary Computation
Generalised graph colouring by a hybrid of local search and constraint programming
Discrete Applied Mathematics
Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces
Autonomous Agents and Multi-Agent Systems
Solving temporal over-constrained problems using fuzzy techniques
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - Marco Somalvico Memorial Issue
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
Soft constraint abstraction based on semiring homomorphism
Theoretical Computer Science
Semiring-Based Soft Constraints
Concurrency, Graphs and Models
Anomaly and Specification Based Cognitive Approach for Mission-Level Detection and Response
RAID '08 Proceedings of the 11th international symposium on Recent Advances in Intrusion Detection
Constraint Relaxation Approach for Over-Constrained Agent Interaction
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
A Decomposition Technique for Max-CSP
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Local Computation Schemes with Partially Ordered Preferences
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
The U.S. national football league scheduling problem
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
Temporal preference optimization as weighted constraint satisfaction
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Arc-Consistency Checking with Bilevel Constraints: An Optimization
GbRPR '09 Proceedings of the 7th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models
Artificial Intelligence
A design framework for metaheuristics
Artificial Intelligence Review
Multi-objective Russian Doll search
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Resource constrained distributed constraint optimization with virtual variables
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A maximal tractable class of soft constraints
Journal of Artificial Intelligence Research
On graphical modeling of preference and importance
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Quantum computing and phase transitions in combinatorial search
Journal of Artificial Intelligence Research
Semiring-based constraint logic programming
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Exploiting a common property resource under a fairness constraint: a case study
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Quantified constraint satisfaction problems: from relaxations to explanations
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Constraint solving over semirings
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Backbone guided local search for maximum satisfiability
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Solving weighted constraint satisfaction problems with memetic/exact hybrid algorithms
Journal of Artificial Intelligence Research
Bounds arc consistency for weighted CSPs
Journal of Artificial Intelligence Research
Temporal constraint reasoning with preferences
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
The complexity of soft constraint satisfaction
Artificial Intelligence
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
Artificial Intelligence - Special issue: Distributed constraint satisfaction
An improvement for the dynamic distributed double guided genetic algorithm for Max-CSPs
PDCS '07 Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems
MaxCAPO: a new expansion of APO to solve distributed constraint satisfaction problems
ASC '07 Proceedings of The Eleventh IASTED International Conference on Artificial Intelligence and Soft Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
A relaxation of a semiring constraint satisfaction problem using combined semirings
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Experiences building a distributed sensor network
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Soft interchangeability for case adaptation
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
Interchangeability in soft CSPs
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
Experience management: foundations, development methodology, and internet-based applications
Experience management: foundations, development methodology, and internet-based applications
A declarative semantics for clp with qualification and proximity*
Theory and Practice of Logic Programming
Conjunctive width heuristics for maximal constraint satisfaction
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Using learnt clauses in MAXSAT
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Russian doll search for solving constraint optimization problems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Enhancements of branch and bound methods for the maximal constraint satisfaction problem
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Functional test generation with distribution constraints
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Complex university course timetabling
Journal of Scheduling
A new honeybee optimization for constraint reasoning: case of max-CSPs
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Adding weights to constraints in intelligent tutoring systems: does it improve the error diagnosis?
EC-TEL'11 Proceedings of the 6th European conference on Technology enhanced learning: towards ubiquitous learning
Penalty logic and its link with Dempster-Shafer theory
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Relaxations and explanations for quantified constraint satisfaction problems
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
A backbone-based co-evolutionary heuristic for partial MAX-SAT
EA'05 Proceedings of the 7th international conference on Artificial Evolution
Interestingness is not a dichotomy: introducing softness in constrained pattern mining
PKDD'05 Proceedings of the 9th European conference on Principles and Practice of Knowledge Discovery in Databases
AH'06 Proceedings of the 4th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Conflict-directed relaxation of constraints in content-based recommender systems
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Handling over-constrained problems in distributed multi-agent systems
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
HIS: hierarchical solver for over-constrained satisfaction problems
TAINN'05 Proceedings of the 14th Turkish conference on Artificial Intelligence and Neural Networks
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Characterization of a new restart strategy for randomized backtrack search
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Solving distributed CSPs using dynamic, partial centralization without explicit constraint passing
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Constraint optimization problems and bounded tree-width revisited
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Can soft computing techniques enhance the error diagnosis accuracy for intelligent tutors?
ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems
Managing dynamic CSPs with preferences
Applied Intelligence
Propagating soft table constraints
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Load Balancing for the Dynamic Distributed Double Guided Genetic Algorithm for MAX-CSPs
International Journal of Artificial Life Research
Improving Asynchronous Partial Overlay
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Interchangeability with thresholds and degradation factors for Soft CSPs
Annals of Mathematics and Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Improving the privacy of the asynchronous partial overlay protocol
Multiagent and Grid Systems - Principles and Practice of Multi-Agent Systems
Hi-index | 0.00 |