Monotone monadic SNP and constraint satisfaction
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
The program understanding problem: analysis and a heuristic approach
Proceedings of the 18th international conference on Software engineering
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
A Parallel Algorithm for Graph Matching and Its MasPar Implementation
IEEE Transactions on Parallel and Distributed Systems
Conjunctive-query containment and constraint satisfaction
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Using Arc weights to improve iterative repair
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Constraint management for collaborative electronic design
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
HKIA SAS: a constraint-based airport stand allocation system developed with software components
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
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Improved algorithms for 3-coloring, 3-edge-coloring, and constraint satisfaction
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
Argumentation as distributed constraint satisfaction: applications and results
Proceedings of the fifth international conference on Autonomous agents
Application of constraint-based heuristics in collaborative design
Proceedings of the 38th annual Design Automation Conference
The complexity of maximal constraint languages
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Solution Techniques for Constraint Satisfaction Problems: Foundations
Artificial Intelligence Review
Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches
Artificial Intelligence Review
Multi-agent oriented constraint satisfaction
Artificial Intelligence
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Automated layout of concept lattices using layered diagrams and additive diagrams
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Intelligent agents for automated one-to-many e-commerce negotiation
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
A Survey on Case-Based Planning
Artificial Intelligence Review
Modeling constraint-based negotiating agents
Decision Support Systems - Special issue: Decision support systems: Directions for the next decade
The use of a strategy language for solving search problems
Annals of Mathematics and Artificial Intelligence
A Connectionist Approach for Solving Large ConstraintSatisfaction Problems
Applied Intelligence
A Constraint-Based Approach to Assigning System Components to Tasks
Applied Intelligence
Toward A Constraint-Satisfaction Frameworkfor Evaluating Program-Understanding Algorithms
Automated Software Engineering
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
Automated Software Engineering
Applying Plan Recognition Algorithms To Program Understanding
Automated Software Engineering
Constraint-Based Job Shop Scheduling with {\sc Ilog\ Scheduler}
Journal of Heuristics
On the Hamming distance of constraint satisfaction problems
Theoretical Computer Science - Complexity and logic
Computational Complexity for Physicists
Computing in Science and Engineering
A High-Level Petri Nets-Based Approach to Verifying Task Structures
IEEE Transactions on Knowledge and Data Engineering
Predictive Personnel Management
IEEE Intelligent Systems
Case-based reasoning integrations
AI Magazine
A Multi-agent Paradigm for the Inter-domain Demand Allocation Process
DSOM '99 Proceedings of the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Active Technologies for Network and Service Management
Local Search for DAG Scheduling and Task Assignment
ICPP '97 Proceedings of the international Conference on Parallel Processing
A Self-Adaptable Distributed Evolutionary Algorithm to Tackle Space Planning Problems
PARA '02 Proceedings of the 6th International Conference on Applied Parallel Computing Advanced Scientific Computing
Multiple Populations Guided by the Constraint-Graph for CSP
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
A New Approach to Solution Adaptation and Its Application for Design Purposes
ECCBR '02 Proceedings of the 6th European Conference on Advances in Case-Based Reasoning
Solving Order Constraints in Logarithmic Space
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Convergence of a Hill Climbing Genetic Algorithm for Graph Matching
EMMCVPR '99 Proceedings of the Second International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition
Combining Constraint Logic Programming Techniques for Solving Linear Problems
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
Generalized Arc Consistency with Application to MaxCSP
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Determining the Number of Solutions to Binary CSP Instances
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
On Constraint-Based Reasoning in e-Negotiation Agents
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
Causal Simulation and Diagnosis of Dynamic Systems
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Querying Semistructured Data Based on Schema Matching
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Solving CSP Instances Beyond the Phase Transition Using Stochastic Search Algorithms
PPSN VI Proceedings of the 6th International Conference on Parallel Problem Solving from Nature
Generating random solutions for constraint satisfaction problems
Eighteenth national conference on Artificial intelligence
Human Action Detection Using PNF Propagation of Temporal Constraints
CVPR '98 Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition
Program understanding as constraint satisfaction
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Limiting disruption in multiagent replanning
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A knowledge plane for the internet
Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications
Viewing construction scheduling as a constraint satisfaction problem
ICAAICSE '01 Proceedings of the sixth international conference on Application of artificial intelligence to civil & structural engineering
A Task-Based Approach to Verifying Conceptual Models
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A hybrid AI approach for nurse rostering problem
Proceedings of the 2003 ACM symposium on Applied computing
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
CLSS: An Intelligent Crane Lorry Scheduling System
Applied Intelligence
Modular lazy search for Constraint Satisfaction Problems
Journal of Functional Programming
Agent-mediated electronic commerce: a survey
The Knowledge Engineering Review
An efficient kernel for multilingual generation in speech-to-speech dialogue translation
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
An evolutionary constraint satisfaction solution for over the cell channel routing
Integration, the VLSI Journal
Towards Fast Vickrey Pricing using Constraint Programming
Artificial Intelligence Review
A framework for resolution of time in natural language
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
Commitment Management through Constraint Reification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Journal of Algorithms
Functional test generation based on word-level SAT
Journal of Systems Architecture: the EUROMICRO Journal
Nurse rostering using constraint programming and meta-level reasoning
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Piparazzi: a test program generator for micro-architecture flow verification
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
Syntax analysis for diagram editors: a constraint satisfaction problem
Proceedings of the working conference on Advanced visual interfaces
A soft constraint-based approach to the cascade vulnerability problem
Journal of Computer Security - Special issue on security track at ACM symposium on applied computing 2004
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming
ACM Transactions on Database Systems (TODS)
Chester: towards a personal medication advisor
Journal of Biomedical Informatics - Special issue: Dialog systems for health communications
International Journal of Knowledge-based and Intelligent Engineering Systems
A new look at survey propagation and its generalizations
Journal of the ACM (JACM)
ESTER: efficient search on text, entities, and relations
SIGIR '07 Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval
An associate constraint network approach to extract multi-lingual information for crime analysis
Decision Support Systems
Exploiting functional dependencies in declarative problem specifications
Artificial Intelligence
Generalised graph colouring by a hybrid of local search and constraint programming
Discrete Applied Mathematics
Solving 3-SAT using constraint programming and fail detection
AIKED'05 Proceedings of the 4th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering Data Bases
Decision-making coordination in collaborative product configuration
Proceedings of the 2008 ACM symposium on Applied computing
From precedence constraint posting to partial order schedules: A CSP approach to Robust Scheduling
AI Communications - Constraint Programming for Planning and Scheduling
A Constraint-Based Autonomous 3D Camera System
Constraints
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
Electronic Notes in Theoretical Computer Science (ENTCS)
Cross-lingual thesaurus for multilingual knowledge management
Decision Support Systems
International Journal of High Performance Computing Applications
Modeling Role-Based Agent Team
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Resource allocation algorithm for light communication grid-based workflows within an SLA context
International Journal of Parallel, Emergent and Distributed Systems
A Constraint Logic Programming Approach to Automated Testing
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
Multi-agent resource allocation (MARA) for modeling construction processes
Proceedings of the 40th Conference on Winter Simulation
Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation Conference: Late Breaking Papers
Evolutionary Genetic Algorithms in a Constraint Satisfaction Problem: Puzzle Eternity II
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
A dialectical based model coherent with inventive and optimization problems
Computers in Industry
Managing Diversity on an AIS That Solves 3-Colouring Problems
ICARIS '09 Proceedings of the 8th International Conference on Artificial Immune Systems
Domain filtering consistencies
Journal of Artificial Intelligence Research
A personalized system for conversational recommendations
Journal of Artificial Intelligence Research
Flaw selection strategies for partial-order planning
Journal of Artificial Intelligence Research
Domain filtering can degrade intelligent backtracking search
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
An analytic learning system for specializing heuristics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
SEM: a system for enumerating models
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Constraint solving over semirings
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
Evolutionary techniques in a constraint satisfaction problem: puzzle eternity II
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Constraint-based rostering using meta-level reasoning and probability-based ordering
Engineering Applications of Artificial Intelligence
3-coloring in time O (1.3289n)
Journal of Algorithms
Efficient and distributable methods for solving the multiagent plan coordination problem
Multiagent and Grid Systems - Planning in multiagent systems
A three-tier view-based methodology for adapting human-agent collaboration systems
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
An ad hoc approach to achieve collaborative computing with pervasive devices
GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing
Component assignment for large distributed embedded software development
GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing
A comparison of consistency propagation algorithms in constraint optimization
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Continuous constraint query evaluation for spatiotemporal streams
SSTD'07 Proceedings of the 10th international conference on Advances in spatial and temporal databases
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
Interactive searching and visualization of patterns in attributed graphs
Proceedings of Graphics Interface 2010
A multiagent architecture for controlling the Palamede satellite
Web Intelligence and Agent Systems
The Knowledge Engineering Review
Determination of path attenuation values for hardware emulation of tactical radio networks
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
Creating collections with automatic suggestions and example-based refinement
UIST '10 Proceedings of the 23nd annual ACM symposium on User interface software and technology
Solving constraint satisfaction problems using finite state automata
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Integrating heuristics for constraint satisfaction problems: a case study
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A system architecture for distributed implementation of virtual measurement systems
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Tracking dynamic team activity
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Combining local search and backtracking techniques for constraint satisfaction
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Commitment strategies in hierarchical task network planning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Planning a day trip on mobile phones with Pi-Pe
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Parallelizing a CLIPS-based course timetabling expert system
Expert Systems with Applications: An International Journal
Constraint programming and genetic algorithms to solve layout design problem
EC'05 Proceedings of the 6th WSEAS international conference on Evolutionary computing
Originality and diversity in the artificial evolution of melodies
Proceedings of the 13th annual conference on Genetic and evolutionary computation
EuroGP'11 Proceedings of the 14th European conference on Genetic programming
Neural networks to guide the selection of heuristics within constraint satisfaction problems
MCPR'11 Proceedings of the Third Mexican conference on Pattern recognition
Lessons learned from exploring the backtracking paradigm on the GPU
Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part II
Expert Systems with Applications: An International Journal
Model-driven auto-scaling of green cloud computing infrastructure
Future Generation Computer Systems
ICHIT'11 Proceedings of the 5th international conference on Convergence and hybrid information technology
Probabilistic arc consistency: a connection between constraint reasoning and probabilistic reasoning
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Optimization of base stations positioning in mobile networks
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
Computational generation of referring expressions: A survey
Computational Linguistics
Online and dynamic recognition of squarefree strings
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
An approach for dynamic split strategies in constraint solving
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Mapping workflows onto grid resources within an SLA context
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
Effective modeling with constraints
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Adaptive enumeration strategies and metabacktracks for constraint solving
ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
MADCAR: an abstract model for dynamic and automatic (re-)assembling of component-based applications
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Floor plan design using block algebra and constraint satisfaction
Advanced Engineering Informatics
Solving two-machine assembly scheduling problems with inventory constraints
Computers and Industrial Engineering
Resource boundedness and argumentation
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Survey: Colouring, constraint satisfaction, and complexity
Computer Science Review
A robot decision making framework using constraint programming
Artificial Intelligence Review
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Fundamenta Informaticae
Self-control of the time complexity of a constraint satisfaction problem solver program
Journal of Systems and Software
Managing Multiple Knowledge Sources In Constraint-Based Parsing Of Spoken Language
Fundamenta Informaticae
Finding pure nash equilibrium of graphical game via constraints satisfaction approach
ESCAPE'07 Proceedings of the First international conference on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies
The complexity of approximating bounded-degree Boolean #CSP
Information and Computation
Managing qualitative preferences with constraints
ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part III
Engineering e-Collaboration Services with a Multi-Agent System Approach
International Journal of Systems and Service-Oriented Engineering
An intelligent framework for e-government personalized services
Proceedings of the 14th Annual International Conference on Digital Government Research
Cassandra: proactive conflict minimization through optimized task scheduling
Proceedings of the 2013 International Conference on Software Engineering
Quill: a collaborative design assistant for cross platform web application user interfaces
Proceedings of the 22nd international conference on World Wide Web companion
Real-time probabilistic data association over streams
Proceedings of the 7th ACM international conference on Distributed event-based systems
Diagnosing correctness of semantic workflow models
Data & Knowledge Engineering
Managing qualitative preferences and constraints in a dynamic environment
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics
| Hi-index | 0.00 |