Towards Fast Vickrey Pricing using Constraint Programming
Artificial Intelligence Review
Theory and Practice of Logic Programming
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Mixtures of deterministic-probabilistic networks and their AND/OR search space
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Solving weighted CSP by maintaining arc consistency
Artificial Intelligence
A Constraint Network Based Approach to Memory Layout Optimization
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Conjunctive queries over trees
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Weighted hypertree decompositions and optimal query plans
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Robust solutions for combinatorial auctions
Proceedings of the 6th ACM conference on Electronic commerce
Controlled propagation in continuous numerical constraint networks
Proceedings of the 2005 ACM symposium on Applied computing
Limited assignments: a new cutoff strategy for incomplete depth-first search
Proceedings of the 2005 ACM symposium on Applied computing
Timid acquisition of constraint satisfaction problems
Proceedings of the 2005 ACM symposium on Applied computing
An efficient consistency algorithm for the temporal constraint satisfaction problem
AI Communications - Special issue on: Spatial and temporal reasoning
Bumping strategies for the multiagent agreement problem
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Query answering exploiting structural properties
ACM SIGMOD Record
Unifying tree decompositions for reasoning in graphical models
Artificial Intelligence
An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems
Artificial Intelligence Review
Constraint solving via fractional edge covers
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
Integrating loop and data optimizations for locality within a constraint network based framework
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Conjunctive queries over trees
Journal of the ACM (JACM)
On global warming: Flow-based soft global constraints
Journal of Heuristics
Bucket elimination for multiobjective optimization problems
Journal of Heuristics
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP
Journal of Heuristics
Engineering organisation-oriented software
Proceedings of the 2006 international workshop on Workshop on interdisciplinary software engineering research
Concurrent search for distributed CSPs
Artificial Intelligence
ACM SIGGRAPH 2006 Papers
Processing queries on tree-structured data efficiently
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Optimizing code parallelization through a constraint network based approach
Proceedings of the 43rd annual Design Automation Conference
Constraint-based optimization and utility elicitation using the minimax decision criterion
Artificial Intelligence
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Continuous refinement of agent resource estimates
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Nogood based asynchronous distributed optimization (ADOPT ng)
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
MDPOP: faithful distributed implementation of efficient social choice problems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
The complexity of soft constraint satisfaction
Artificial Intelligence
Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm
ACST'06 Proceedings of the 2nd IASTED international conference on Advances in computer science and technology
Symbolic Techniques in Satisfiability Solving
Journal of Automated Reasoning
Logic and Computational Complexity for Boolean Information Retrieval
IEEE Transactions on Knowledge and Data Engineering
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
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming
An incremental algorithm for DLO quantifier elimination via constraint propagation
Artificial Intelligence
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
AI Communications - Spatial and Temporal Reasoning
Weighted hypertree decompositions and optimal query plans
Journal of Computer and System Sciences
AND/OR search spaces for graphical models
Artificial Intelligence
Managing restaurant tables using constraints
Knowledge-Based Systems
Asynchronous Forward-checking for DisCSPs
Constraints
Maximum H-colourable subdigraphs and constraint optimization with arbitrary weights
Journal of Computer and System Sciences
Collaborative Multiagent Reinforcement Learning by Payoff Propagation
The Journal of Machine Learning Research
A new look at survey propagation and its generalizations
Journal of the ACM (JACM)
Partition search for non-binary constraint satisfaction
Information Sciences: an International Journal
A Formal Analysis of Fault Diagnosis with D-matrices
Journal of Electronic Testing: Theory and Applications
Constraint functional logic programming over finite domains
Theory and Practice of Logic Programming
Cooperating sensory agents for detecting temporal consistency among events
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
Auditing compliance with a Hippocratic database
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
A search method for reducing local cost in distributed constraint optimization problem
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
IBM Journal of Research and Development - Business optimization
Exploiting hierarchy and structure to efficiently solve graph coloring as SAT
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
A logical approach to efficient Max-SAT solving
Artificial Intelligence
MAGENTA technology case studies of magenta i-scheduler for road transportation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Formula dissection: A parallel algorithm for constraint satisfaction
Computers & Mathematics with Applications
Workflow authorisation in mediator-free environments
International Journal of Security and Networks
An introduction to model-based systems
AI Communications - Model-Based Systems
AI Communications - Constraint Programming for Planning and Scheduling
A unified theory of structural tractability for constraint satisfaction problems
Journal of Computer and System Sciences
A distributed CSP approach for collaborative planning systems
Engineering Applications of Artificial Intelligence
Structuring and modelling norms for the recyclability assessment of products during their design
International Journal of Computer Integrated Manufacturing - Integrated Design of Product and Processes
Comparison of Boolean satisfiability encodings on FPGA detailed routing problems
Proceedings of the conference on Design, automation and test in Europe
Modelling and solving temporal reasoning as propositional satisfiability
Artificial Intelligence
Search-based many-to-one component substitution
Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
Model-Checking Software Using Precise Abstractions
Verified Software: Theories, Tools, Experiments
Multiagent Constraint Satisfaction with Multiply Sectioned Constraint Networks
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
YIELDS: A Yet Improved Limited Discrepancy Search for CSPs
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A Conceptual Graph Based Approach to Ontology Similarity Measure
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
MagentaToolkit: A Set of Multi-agent Tools for Developing Adaptive Real-Time Applications
HoloMAS '07 Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Efficient Handling of Relational Database Combinatorial Queries Using CSPs
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
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
Structure identification of Boolean relations and plain bases for co-clones
Journal of Computer and System Sciences
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
Computing leximin-optimal solutions in constraint networks
Artificial Intelligence
Heuristic Methods for Hypertree Decomposition
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Dynamic Web Services Provisioning with Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Variable Dependencies of Quantified CSPs
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Generalizing Global Constraints Based on Network Flows
Recent Advances in Constraints
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks
Recent Advances in Constraints
QoS Policies for Business Processes in Service Oriented Architectures
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Using relaxations to improve search in distributed constraint optimisation
Artificial Intelligence Review
Graphical Models, Exponential Families, and Variational Inference
Foundations and Trends® in Machine Learning
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
Uniform Constraint Satisfaction Problems and Database Theory
Complexity of Constraints
A fuzzy constraint satisfaction approach for signal abstraction
International Journal of Approximate Reasoning
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
International Journal of Computer Integrated Manufacturing
A note on some collapse results of valued constraints
Information Processing Letters
On managing business processes variants
Data & Knowledge Engineering
ADOPT-ing: unifying asynchronous distributed optimization with asynchronous backtracking
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
Propagation via lazy clause generation
Constraints
Distributed constraint optimization with structured resource constraints
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Solving connected row convex constraints by variable elimination
Artificial Intelligence
Solution Enumeration for Projected Boolean Search Problems
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
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
DFS* and the Traveling Tournament Problem
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques
Proceedings of the 2007 conference on Artificial Intelligence Research and Development
How Hard is a Commercial Puzzle: the Eternity II Challenge
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Random SAT Instances à la Carte
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
MINION: A Fast, Scalable, Constraint Solver
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
From constraint representations of sequential code and program annotations to their use in debugging
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Mixed deterministic and probabilistic networks
Annals of Mathematics and Artificial Intelligence
An ant colony optimization approach to the traveling tournament problem
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
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
Soft Constraints Processing over Divisible Residuated Lattices
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 complexity of constraint satisfaction games and QCSP
Information and Computation
Simple search methods for finding a Nash equilibrium
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Evaluating consistency algorithms for temporal metric constraints
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
Memory intensive branch-and-bound search for graphical models
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
An interactive constraint-based approach to minesweeper
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
A BDD-based polytime algorithm for cost-bounded interactive configuration
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
ODPOP: an algorithm for open/distributed constraint optimization
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Factored planning: how, when, and when not
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Bid evaluation in combinatorial auctions: optimization and learning
Software—Practice & Experience
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models
Artificial Intelligence
Dynamic arc consistency for CSPs
International Journal of Knowledge-based and Intelligent Engineering Systems
IncrementParsing '04 Proceedings of the Workshop on Incremental Parsing: Bringing Engineering and Cognition Together
Dependency parsing by belief propagation
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results
Graph Theory, Computational Intelligence and Thought
Networked distributed POMDPs: a synthesis of distributed constraint optimization and POMDPs
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
A constraint satisfaction approach to geospatial reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Any time, complete algorithm for finding utilitarian optimal solutions to STPPs
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Superstabilizing, fault-containing distributed combinatorial optimization
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Augmenting disjunctive temporal problems with finite-domain constraints
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Exploiting the structure of hierarchical plans in temporal constraint propagation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Randomized adaptive spatial decoupling for large-scale vehicle routing with time windows
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Using expectation maximization to find likely assignments for solving CSP's
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Knowledge compilation properties of tree-of-BDDs
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Best-first AND/OR search for graphical models
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Approximate inference in probabilistic graphical models with determinism
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Generating and solving logic puzzles through constraint satisfaction
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
H-DPOP: using hard constraints for search space pruning in DCOP
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A scalable jointree algorithm for diagnosability
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Local search for optimal global map generation using mid-decadal landsat images
IAAI'08 Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3
Adaptive abstraction of constraint-based models for self-diagnosis and planning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Synthesis of fast programs for maximum segment sum problems
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Set intersection and consistency in constraint networks
Journal of Artificial Intelligence Research
Cutset sampling for Bayesian networks
Journal of Artificial Intelligence Research
New Islands of tractability of cost-optimal planning
Journal of Artificial Intelligence Research
M-DPOP: faithful distributed implementation of efficient social choice problems
Journal of Artificial Intelligence Research
Conditional constraint satisfaction: logical foundations and complexity
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Techniques for efficient interactive configuration of distribution networks
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Nogood recording from restarts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
PC-DPOP: a new partial centralization algorithm for distributed optimization
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Backtracking procedures for hypertree, hyperspread and connected hypertree decomposition of CSPs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conflict directed backjumping for Max-CSPs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Consistency checking of basic cardinal constraints over connected regions
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
MB-DPOP: a new memory-bounded algorithm for distributed optimization
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Local consistency for extended CSPs
Theoretical Computer Science
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Lazy Constraint Imposing for Improving the Path Constraint
Electronic Notes in Theoretical Computer Science (ENTCS)
Compiling uncertainty away in conformant planning problems with bounded width
Journal of Artificial Intelligence Research
A unified theory of structural tractability for constraint satisfaction and spread cut decomposition
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The complexity of quantified constraint satisfaction problems under structural restrictions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A greedy approach to establish singleton arc consistency
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A scalable method for multiagent constraint optimization
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Improving tree decomposition methods with function filtering
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The complexity of soft constraint satisfaction
Artificial Intelligence
Unifying tree decompositions for reasoning in graphical models
Artificial Intelligence
Concurrent search for distributed CSPs
Artificial Intelligence
Constraint-based optimization and utility elicitation using the minimax decision criterion
Artificial Intelligence
Reasoning from last conflict(s) in constraint programming
Artificial Intelligence
Algorithms for propositional model counting
Journal of Discrete Algorithms
Addressing the flaws of current critical alarms: a fuzzy constraint satisfaction approach
Artificial Intelligence in Medicine
Algebra of systems: a metalanguage for model synthesis and evaluation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
The Helly property and satisfiability of Boolean formulas defined on set families
European Journal of Combinatorics
Towards industrial-like random SAT instances
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
Scheduling of maintenance work: A constraint-based approach
Expert Systems with Applications: An International Journal
AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Evolutionary techniques in a constraint satisfaction problem: puzzle eternity II
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Inference and Learning in Planning (Extended Abstract)
DS '09 Proceedings of the 12th International Conference on Discovery Science
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
International Journal of Data Mining and Bioinformatics
A Semiring-based Quantitative Analysis of Mobile Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Plan decoupling of agents with qualitatively constrained tasks
Multiagent and Grid Systems - Planning in multiagent systems
A fast algorithm and datalog inexpressibility for temporal reasoning
ACM Transactions on Computational Logic (TOCL)
Allocation and scheduling of Conditional Task Graphs
Artificial Intelligence
Conflict-driven answer set enumeration
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Polynomial constraints for sets with cardinality bounds
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
DFS-tree based heuristic search
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Reformulating constraint satisfaction problems to improve scalability
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Solving difficult SAT instances using greedy clique decomposition
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Reformulating CSPs for scalability with application to geospatial reasoning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Tradeoffs in the complexity of backdoor detection
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Dealing with incomplete preferences in soft constraint problems
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Dynamic management of heuristics for solving structured CSPs
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Path consistency by dual consistency
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Propagation = lazy clause generation
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Structural relaxations by variable renaming and their compilation for solving MinCostSAT
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Min-domain ordering for asynchronous backtracking
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Relational consistency by constraint filtering
Proceedings of the 2010 ACM Symposium on Applied Computing
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
Artificial Intelligence
An improved concurrent search algorithm for distributed CSPs
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
GRASPER: a framework for graph constraint satisfaction problems
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Modeling and solution of a complex university course timetabling problem
PATAT'06 Proceedings of the 6th international conference on Practice and theory of automated timetabling VI
Cost propagation: numerical propagation for optimization problems
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Constraint optimization and abstraction for embedded intelligent systems
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Using relaxations in maximum density still life
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Failed value consistencies for constraint satisfaction
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
Concurrently decomposable constraint systems
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Constraint processing in lifted probabilistic inference
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
Logical inference algorithms and matrix representations for probabilistic conditional independence
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
Solving Sequential Planning Problems via Constraint Satisfaction
Fundamenta Informaticae - Methodologies for Intelligent Systems
Constraint satisfaction problems and global cardinality constraints
Communications of the ACM
Changerefinery: assisted refinement of high-level IT change requests
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Constraint-muse: a soft-constraint based system for music therapy
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
A large neighbourhood search approach to the multi-activity shift scheduling problem
Journal of Heuristics
Optimal admissible composition of abstraction heuristics
Artificial Intelligence
Integrated heuristics for scheduling multiple order jobs in a complex job shop
International Journal of Metaheuristics
An agent-based market platform for Smart Grids
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Industry track
Improving DPOP with function filtering
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Optimal temporal decoupling in multiagent systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Automatically finding the control variables for complex system behavior
Automated Software Engineering
The Knowledge Engineering Review
The Knowledge Engineering Review
A translational approach to constraint answer set solving
Theory and Practice of Logic Programming
Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Learning When to Use Lazy Learning in Constraint Solving
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Join-graph propagation algorithms
Journal of Artificial Intelligence Research
On complementary principles of object-oriented constraint programming
Programming and Computing Software
A constraint-based solver for the military unit path finding problem
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A 25-year perspective on logic programming
Artificial intelligence search algorithms
Algorithms and theory of computation handbook
Constraint models for reasoning on unification in inductive logic programming
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Applying constraint programming to identification and assignment of service professionals
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Spatial, temporal, and hybrid decompositions for large-scale vehicle routing with time windows
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
A new hybrid tractable class of soft constraint problems
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Ensemble classification for constraint solver configuration
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
BnB-ADOPT: an asynchronous branch-and-bound DCOP algorithm
Journal of Artificial Intelligence Research
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
Solving coarse-grained DisCSPs with local search
Web Intelligence and Agent Systems
SampleSearch: Importance sampling in presence of determinism
Artificial Intelligence
Bounded approximate decentralised coordination via the max-sum algorithm
Artificial Intelligence
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
Improving the distributed constraint optimization using social network analysis
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
On the application of planning and scheduling techniques to e-learning
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Teaching assignment problem solver
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part II
AC2001-OP: an arc-consistency algorithm for constraint satisfaction problems
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part III
An effective algorithm for and phase transitions of the directed hamiltonian cycle problem
Journal of Artificial Intelligence Research
Controlling search in constrained-object models
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
SIAM Journal on Discrete Mathematics
Artificial Intelligence Review
Autonomous Agents and Multi-Agent Systems
Complex university course timetabling
Journal of Scheduling
On the modelling and optimization of preferences in constraint-based temporal reasoning
Artificial Intelligence
Relational preference rules for control
Artificial Intelligence
Complexity of conservative constraint satisfaction problems
ACM Transactions on Computational Logic (TOCL)
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)
Connecting BnB-ADOPT with soft arc consistency: initial results
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Entangled queries: enabling declarative data-driven coordination
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Hybrid tractability of valued constraint problems
Artificial Intelligence
Heuristic techniques for variable and value ordering in CSPs
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Learning dependency-based compositional semantics
HLT '11 Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies - Volume 1
A probabilistic analysis of coverage methods
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Journal of Computational Neuroscience
Planning with incomplete information
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
On the complexity of core, kernel, and bargaining set
Artificial Intelligence
Journal of Artificial Intelligence Research
Generic solution construction in valuation-based systems
Canadian AI'11 Proceedings of the 24th Canadian conference on Advances in artificial intelligence
Towards a unifying characterization for quantifying weak coupling in dec-POMDPs
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Decomposing constraint systems: equivalences and computational properties
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Pseudo-tree-based algorithm for approximate distributed constraint optimization with quality bounds
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
A framework for decision-based consistencies
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
The parameterized complexity of local consistency
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
On minimal constraint networks
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Structural tractability of constraint optimization
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Pseudo-tree-based incomplete algorithm for distributed constraint optimization with quality bounds
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Constraint propagation for efficient inference in Markov logic
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
On mini-buckets and the min-fill elimination ordering
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Reasoning about cardinal directions between extended objects: The NP-hardness result
Artificial Intelligence
Efficient approximation algorithms for multi-objective constraint optimization
ADT'11 Proceedings of the Second international conference on Algorithmic decision theory
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Modeling aggregation convergecast scheduling using constraints
Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
A new efficient and flexible algorithm for the design of testable subsystems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Plan recognition in exploratory domains
Artificial Intelligence
On the Facial Structure of the Alldifferent System
SIAM Journal on Discrete Mathematics
A CSP approach for modeling the hand gestures of a virtual guitarist
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Fault tolerant web service orchestration by means of diagnosis
EWSA'06 Proceedings of the Third European conference on Software Architecture
A hierarchical pattern matching procedure for signal abstraction
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Temporal enhancements of an HTN planner
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Generalizing alldifferent: the somedifferent constraint
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Interactive distributed configuration
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Retroactive ordering for dynamic backtracking
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
The complexity of conservative valued CSPs
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Consistency of the matching predicate
SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
New advances in inference by recursive conditioning
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
A hybrid BDD and SAT finite domain constraint solver
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Search vs. symbolic techniques in satisfiability solving
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Incorporating inference into evolutionary algorithms for Max-CSP
HM'06 Proceedings of the Third international conference on Hybrid Metaheuristics
Conditional and composite temporal CSPs
Applied Intelligence
Integrating CSP decomposition techniques and BDDs for compiling configuration problems
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems
International Journal of Applied Mathematics and Computer Science
Invited contribution: hybrid CSP solving
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Using hajós' construction to generate hard graph 3-colorability instances
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Functional treewidth: bounding complexity in the presence of functional dependencies
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
A CSP search algorithm with reduced branching factor
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
AND/OR branch-and-bound search for pure 0/1 integer linear programming problems
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Connecting the dots: constructing spatiotemporal episodes from events schemas
Transactions on Computational Science VI
Finite domain bounds consistency revisited
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
An alternative to SAT-Based approaches for bit-vectors
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Rapid learning for binary programs
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Constraint-Based runtime prediction of SLA violations in service orchestrations
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
New structural decomposition techniques for constraint satisfaction problems
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Minimal perturbation problem in course timetabling
PATAT'04 Proceedings of the 5th international conference on Practice and Theory of Automated Timetabling
Exploration of the capabilities of constraint programming for software verification
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Dyna: extending datalog for modern AI
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
An Optimal Constraint Programming Approach to the Open-Shop Problem
INFORMS Journal on Computing
Constraint programming on infinite data streams
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Large hinge width on sparse random hypergraphs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
A survey of constraint-based programming paradigms
Computer Science Review
Weight-based Heuristics for Constraint Satisfaction and Combinatorial Optimization Problems
Journal of Mathematical Modelling and Algorithms
A constraint satisfaction approach to resolving product configuration conflicts
Advanced Engineering Informatics
Discovering hidden structure in factored MDPs
Artificial Intelligence
Entangled queries: Enabling declarative data-driven coordination
ACM Transactions on Database Systems (TODS)
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
Improving the performance of FD constraint solving in a CFLP system
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
A REVIEW OF TREE CONVEX SETS TEST
Computational Intelligence
CloudIQ: a framework for processing base stations in a data center
Proceedings of the 18th annual international conference on Mobile computing and networking
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I
Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
Fundamenta Informaticae
Semantic flow networks: semantic interoperability in networks of ontologies
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Counting homomorphisms via hypergraph-based structural restrictions
ISCO'12 Proceedings of the Second international conference on Combinatorial Optimization
On minimal constraint networks
Artificial Intelligence
Solving the traveling tournament problem with iterative-deepening A*
Journal of Scheduling
Managing dynamic CSPs with preferences
Applied Intelligence
Tractable triangles and cross-free convexity in discrete optimisation
Journal of Artificial Intelligence Research
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Concurrent forward bounding for distributed constraint optimization problems
Artificial Intelligence
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Distributed tree decomposition with privacy
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
A characterisation of the complexity of forbidding subproblems in binary Max-CSP
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Solving minimal constraint networks in qualitative spatial and temporal reasoning
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Interactive algorithm for multi-objective constraint optimization
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Revisiting neighborhood inverse consistency on binary CSPs
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Relationship-Preserving change propagation in process ecosystems
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
A constraint-based approach to quality assurance in service choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Managing qualitative preferences with constraints
ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part III
Asp modulo csp: The clingcon system
Theory and Practice of Logic Programming
Decomposition and tractability in qualitative spatial and temporal reasoning
Artificial Intelligence
Variable-Centered Consistency in Model RB
Minds and Machines
The complexity of conservative valued CSPs
Journal of the ACM (JACM)
Constraint propagation as information maximization
Artificial Intelligence
A new crossover for solving constraint satisfaction problems
EvoCOP'13 Proceedings of the 13th European conference on Evolutionary Computation in Combinatorial Optimization
Reducing examples in relational learning with bounded-treewidth hypotheses
NFMCP'12 Proceedings of the First international conference on New Frontiers in Mining Complex Patterns
On the complexity of planning for agent teams and its implications for single agent planning
Artificial Intelligence
Verifying nested workflows with extra constraints
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Learning dependency-based compositional semantics
Computational Linguistics
Combining slicing and constraint solving for better debugging: the CONBAS approach
Advances in Software Engineering
Decomposing combinatorial auctions and set packing problems
Journal of the ACM (JACM)
Representing and solving finite-domain constraint problems using systems of polynomials
Annals of Mathematics and Artificial Intelligence
Probabilistic planning for continuous dynamic systems under bounded risk
Journal of Artificial Intelligence Research
Maximum-throughput mapping of SDFGs on multi-core SoC platforms
Journal of Parallel and Distributed Computing
Constraint satisfaction tractability from semi-lattice operations on infinite sets
ACM Transactions on Computational Logic (TOCL)
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
Semiring-based mini-bucket partitioning schemes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Flexibility and decoupling in the simple temporal problem
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Optimal valve placement in water distribution networks with CLP(FD)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Querying Regular Graph Patterns
Journal of the ACM (JACM)
Distributed reasoning for multiagent simple temporal problems
Journal of Artificial Intelligence Research
Lifted variable elimination: decoupling the operators from the constraint language
Journal of Artificial Intelligence Research
Protecting privacy through distributed computation in multi-agent decision making
Journal of Artificial Intelligence Research
Agent-based decentralised coordination for sensor networks using the max-sum algorithm
Autonomous Agents and Multi-Agent Systems
Specifying and solving symbolic and numeric temporal constraints
International Journal of Knowledge-based and Intelligent Engineering Systems
The complexity of optimal monotonic planning: the bad, the good, and the causal graph
Journal of Artificial Intelligence Research
Artificial Intelligence: From programs to solvers
AI Communications - ECAI 2012 Turing and Anniversary Track
Dynamic multiagent load balancing using distributed constraint optimization techniques
Web Intelligence and Agent Systems
Hi-index | 0.02 |