Managing restaurant tables using constraints
Knowledge-Based Systems
Solving a real-time allocation problem with constraint programming
Journal of Systems and Software
Domain permutation reduction for constraint satisfaction problems
Artificial Intelligence
A unified theory of structural tractability for constraint satisfaction problems
Journal of Computer and System Sciences
Tractable cases of the extended global cardinality constraint
CATS '08 Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77
Constraint programming for itemset mining
Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Concurrency, Graphs and Models
Semiring-Based Soft Constraints
Concurrency, Graphs and Models
The Monoids of Order Eight and Nine
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Perfect Constraints Are Tractable
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
A Framework for Distributing Real-Time Functions
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
A Hybrid Approach to Distributed Constraint Satisfaction
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
The expressive power of valued constraints: Hierarchies and collapses
Theoretical Computer Science
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Qualitative design support for engineering and architecture
Advanced Engineering Informatics
Filtering algorithms for the multiset ordering constraint
Artificial Intelligence
Computing leximin-optimal solutions in constraint networks
Artificial Intelligence
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Dualities for Constraint Satisfaction Problems
Complexity of Constraints
Entropy: a consolidation manager for clusters
Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
A note on some collapse results of valued constraints
Information Processing Letters
Search heuristics for constraint-aided embodiment design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
CHR for Imperative Host Languages
Constraint Handling Rules
ADOPT-ing: unifying asynchronous distributed optimization with asynchronous backtracking
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
A hybrid approach to solving coarse-grained DisCSPs
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Open Constraints in a Boundable World
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Structure segmentation and recognition in images guided by structural constraint propagation
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Hard constraint satisfaction problems have hard gaps at location 1
Theoretical Computer Science
The complexity of weighted Boolean #CSP with mixed signs
Theoretical Computer Science
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Note: The expressive power of binary submodular functions
Discrete Applied Mathematics
The Second Answer Set Programming Competition
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A constraint-based approach to Enigma 1225
Computers & Mathematics with Applications
Compressing configuration data for memory limited devices
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Multi-objective Russian Doll search
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Personalisation of telecommunications services as combinatorial optimisation
IAAI'08 Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3
The ultrametric constraint and its application to phylogenetics
Journal of Artificial Intelligence Research
Approach to solving DCSP using BDI
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
Multi-Hyb: A Hybrid Algorithm for Solving DisCSPs with Complex Local Problems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Lazy Constraint Imposing for Improving the Path Constraint
Electronic Notes in Theoretical Computer Science (ENTCS)
A soft global precedence constraint
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Open contractible global constraints
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Automatic Proofs of Termination With Elementary Interpretations
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatically Discovering Hidden Transformation Chaining Constraints
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Type Parametric Compilation of Algebraic Constraints
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + +
HM '09 Proceedings of the 6th International Workshop on Hybrid Metaheuristics
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
USAB '09 Proceedings of the 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for e-Inclusion
Energy-Aware Design of Service-Based Applications
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A constraint-based model for multi-objective repair planning
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Decision-making coordination and efficient reasoning techniques for feature-based configuration
Science of Computer Programming
A new necessary condition for shortest path routing
NET-COOP'07 Proceedings of the 1st EuroFGI international conference on Network control and optimization
An approximation trichotomy for Boolean #CSP
Journal of Computer and System Sciences
The expressive power of valued constraints: hierarchies and collapses
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Mathematically clinching a playoff spot in the NHL and the effect of scoring systems
Canadian AI'08 Proceedings of the Canadian Society for computational studies of intelligence, 21st conference on Advances in artificial intelligence
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
SOGgy constraints: soft open global constraints
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Slice encoding for constraint-based planning
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
The complexity of valued constraint models
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
AllDifferent-based filtering for subgraph isomorphism
Artificial Intelligence
Incremental evolution of local search heuristics
Proceedings of the 12th annual conference on Genetic and evolutionary computation
The Knowledge Engineering Review
The Knowledge Engineering Review
A translational approach to constraint answer set solving
Theory and Practice of Logic Programming
A DSL for intrusion detection based on constraint programming
Proceedings of the 3rd international conference on Security of information and networks
Implementing logical connectives in constraint programming
Artificial Intelligence
A Common Computational Framework for Semiring-based Argumentation Systems
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Interactive cost configuration over decision diagrams
Journal of Artificial Intelligence Research
Advanced Engineering Informatics
A 25-year perspective on logic programming
Deduction in existential conjunctive first-order logic: an algorithm and experiments
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Constraint-directed search in computational finance and economics
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Integrating constraint programming and itemset mining
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part II
Interval-valued soft constraint problems
Annals of Mathematics and Artificial Intelligence
Developing approaches for solving a telecommunications feature subscription problem
Journal of Artificial Intelligence Research
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Extending soft arc consistency algorithms to non-invertible semirings
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
Using constraints for intrusion detection: the NeMODe system
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
A combined CLP-MILP approach for scheduling commodities in a pipeline
Journal of Scheduling
Complex university course timetabling
Journal of Scheduling
On the modelling and optimization of preferences in constraint-based temporal reasoning
Artificial Intelligence
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Constraint programming systems for modeling music theories and composition
ACM Computing Surveys (CSUR)
An efficient generic network flow constraint
Proceedings of the 2011 ACM Symposium on Applied Computing
Finding partitions of arguments with Dung's properties via SCSPs
Proceedings of the 2011 ACM Symposium on Applied Computing
Proceedings of the 2010 Summer Computer Simulation Conference
Network monitoring with constraint programming: preliminary specification and analysis
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Itemset mining: A constraint programming perspective
Artificial Intelligence
Journal of Systems Architecture: the EUROMICRO Journal
The complexity of integer bound propagation
Journal of Artificial Intelligence Research
Limited discrepancy search revisited
Journal of Experimental Algorithmics (JEA)
Checking the Feasibility of Dial-a-Ride Instances Using Constraint Programming
Transportation Science
A framework for autonomous search in the Eclipsesolver
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part I
Towards programming languages for machine learning and data mining
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Constraint programming for controller synthesis
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Distributed constraint programming with agents
ICAIS'11 Proceedings of the Second international conference on Adaptive and intelligent systems
Self-management of applications QoS for energy optimization in datacenters
Green Computing Middleware on Proceedings of the 2nd International Workshop
A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems
International Journal of Applied Mathematics and Computer Science
Annals of Mathematics and Artificial Intelligence
NeVer: a tool for artificial neural networks verification
Annals of Mathematics and Artificial Intelligence
A web application for mathematics education
ICWL'07 Proceedings of the 6th international conference on Advances in web based learning
Formal reasoning about software object translations
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
The simol modeling language for simulation and (re-)configuration
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Constraints
An energy aware framework for virtual machine placement in cloud federated data centres
Proceedings of the 3rd International Conference on Future Energy Systems: Where Energy, Computing and Communication Meet
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Modeling and solving AFs with a constraint-based tool: conarg
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Automata-Based symbolic representations of polyhedra
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
A2thOS: availability analysis and optimisation in SLAs
International Journal of Network Management
Kernels for global constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Translation-based constraint answer set solving
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
A survey of constraint-based programming paradigms
Computer Science Review
Survey: Colouring, constraint satisfaction, and complexity
Computer Science Review
Cutting plane algorithms for solving a stochastic edge-partition problem
Discrete Optimization
Self-management of cloud applications and infrastructure for energy optimization
ACM SIGOPS Operating Systems Review
Combining static and dynamic models for boosting forward planning
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Hybrid heuristics for multimodal homecare scheduling
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Azucar: a SAT-based CSP solver using compact order encoding
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Representing CSPs with set-labeled diagrams: a compilation map
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Constraint propagation as the core of local search
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
Using autonomous search for generating good enumeration strategy blends in constraint programming
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
A hybrid release planning method and its empirical justification
Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement
Tractable triangles and cross-free convexity in discrete optimisation
Journal of Artificial Intelligence Research
Symbolic execution of programs with strings
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Ruling out polynomial-time approximation schemes for hard constraint satisfaction problems
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Engineering Applications of Artificial Intelligence
Where are the interesting problems?
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Dynamic test data generation for data intensive applications
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
Product configuration as decision support: The declarative paradigm in practice
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A declarative framework for work process configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Computational complexity of linear constraints over the integers
Artificial Intelligence
The tractability of CSP classes defined by forbidden patterns
Journal of Artificial Intelligence Research
Reformulation based MaxSAT robustness
Constraints
Reducing examples in relational learning with bounded-treewidth hypotheses
NFMCP'12 Proceedings of the First international conference on New Frontiers in Mining Complex Patterns
Resistance to bribery when aggregating soft constraints
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Constraint-based code generation
Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems
Towards a similarity-based web service discovery through soft constraint satisfaction problems
Proceedings of the 2nd International Workshop on Semantic Search over the Web
A constraint propagation approach to structural model based image segmentation and recognition
Information Sciences: an International Journal
The Express heuristic for probabilistically constrained integer problems
Journal of Heuristics
Post-design analysis for building and refining AI planning systems
Engineering Applications of Artificial Intelligence
Modelling distributed network attacks with constraints
International Journal of Bio-Inspired Computation
Representing and solving finite-domain constraint problems using systems of polynomials
Annals of Mathematics and Artificial Intelligence
ACM Transactions on Embedded Computing Systems (TECS)
Short and long supports for constraint propagation
Journal of Artificial Intelligence Research
Generation of conjoint domain models for system-of-systems
Proceedings of the 12th international conference on Generative programming: concepts & experiences
A survey on service quality description
ACM Computing Surveys (CSUR)
Generating multi-objective optimized business process enactment plans
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Inductive definitions in constraint programming
ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135
Sorted-Pareto dominance and qualitative notions of optimality
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Scarab: a rapid prototyping tool for SAT-based constraint programming systems
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Maximum-throughput mapping of SDFGs on multi-core SoC platforms
Journal of Parallel and Distributed Computing
Complexity issues related to propagation completeness
Artificial Intelligence
Minimizing test-point allocation to improve diagnosability in business process models
Journal of Systems and Software
Diagnosing correctness of semantic workflow models
Data & Knowledge Engineering
Optimizing a combined WCET-WCEC problem in instruction fetching for real-time systems
Journal of Systems Architecture: the EUROMICRO Journal
Robust constraint satisfaction and local hidden variables in quantum mechanics
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Variable elimination in binary CSP via forbidden patterns
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Preserving partial solutions while relaxing constraint networks
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Towards a knowledge compilation map for heterogeneous representation languages
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Channel and Time Slot Allocation for Dense RFID Networks
Wireless Personal Communications: An International Journal
Task model-driven realization of interactive application functionality through services
ACM Transactions on Interactive Intelligent Systems (TiiS)
Goal-based business service composition
Service Oriented Computing and Applications
Characterizing acyclic graphs by labeling edges
Discrete Applied Mathematics
Argumentation frameworks as constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
A constraint solver for flexible protein models
Journal of Artificial Intelligence Research
Coalitions of Arguments: An Approach with Constraint Programming
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |