Theory and Practice of Logic Programming
When do bounds and domain propagation lead to the same search space?
ACM Transactions on Programming Languages and Systems (TOPLAS)
Solving strategies using a hybridization model for local search and constraint propagation
Proceedings of the 2005 ACM symposium on Applied computing
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Constraint logic programming over sets of spatial objects
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
On global warming: Flow-based soft global constraints
Journal of Heuristics
Exploiting semidefinite relaxations in constraint programming
Computers and Operations Research
A relational syntax-semantics interface based on dependency grammar
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
Models for Global Constraint Applications
Constraints
INFORMS Journal on Computing
A Decision Procedure for Linear "Big O" Equations
Journal of Automated Reasoning
Removing propagation redundant constraints in redundant modeling
ACM Transactions on Computational Logic (TOCL)
Mesh Ensemble Motion Graphs: Data-driven mesh animation with constraints
ACM Transactions on Graphics (TOG)
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
Domain filtering consistencies for non-binary constraints
Artificial Intelligence
Formula dissection: A parallel algorithm for constraint satisfaction
Computers & Mathematics with Applications
Smart style: combining RDF semantics with XML document transformations
International Journal of Web Engineering and Technology
International Journal of Data Mining and Bioinformatics
Proceedings of the 2008 ACM symposium on Applied computing
Replenishment Planning for Stochastic Inventory Systems with Shortage Cost
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Generalizations of the Global Cardinality Constraint for Hierarchical Resources
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming
IWINAC '07 Proceedings of the 2nd international work-conference on Nature Inspired Problem-Solving Methods in Knowledge Engineering: Interplay Between Natural and Artificial Computation, Part II
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
A Full First-Order Constraint Solver for Decomposable Theories
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Mapping Heterogeneous Distributed Applications on Clusters
Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing
Cost-Based Domain Filtering for Stochastic Constraint Programming
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
A Generic Layout-Tool for Summaries of Meetings in a Constraint-Based Approach
MLMI '08 Proceedings of the 5th international workshop on Machine Learning for Multimodal Interaction
A Hybrid System for the Semantic Annotation of Sulco-Gyral Anatomy in MRI Images
MICCAI '08 Proceedings of the 11th international conference on Medical Image Computing and Computer-Assisted Intervention - Part I
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Filtering algorithms for the multiset ordering constraint
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:
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
Experimental analysis of optimization techniques on the road passenger transportation problem
Engineering Applications of Artificial Intelligence
From exponential to almost linear decomposability of finite or infinite trees
Proceedings of the 2009 ACM symposium on Applied Computing
Reducing temporal delays in a real time train management system
Proceedings of the 2008 conference on Tenth Scandinavian Conference on Artificial Intelligence: SCAI 2008
Electronic Notes in Theoretical Computer Science (ENTCS)
Bid evaluation in combinatorial auctions: optimization and learning
Software—Practice & Experience
Dynamic arc consistency for CSPs
International Journal of Knowledge-based and Intelligent Engineering Systems
Multiword expressions as dependency subgraphs
MWE '04 Proceedings of the Workshop on Multiword Expressions: Integrating Processing
Multi-objective Russian Doll search
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Constraint solving in common Lisp
Proceedings of the 2007 International Lisp Conference
The evolution of dominance constraint solvers
Software '05 Proceedings of the Workshop on Software
A hyperheuristic approach to select enumeration strategies in constraint programming
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
An ant-based solver for subset problems
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
A full first-order constraint solver for decomposable theories
Annals of Mathematics and Artificial Intelligence
Scheduling IPTV Content Pre-distribution
IPOM '09 Proceedings of the 9th IEEE International Workshop on IP Operations and Management
SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
Interactions in Transport Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
A Method for Sensor Placement Taking into Account Diagnosability Criteria
International Journal of Applied Mathematics and Computer Science - Issues in Fault Diagnosis and Fault Tolerant Control
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
A quantitative approach for the design of academic curricula
Proceedings of the 2007 conference on Human interface: Part II
Advisors for incremental propagation
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Bipolar preference problems: framework, properties and solving techniques
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Cost-based filtering for stochastic inventory control
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Multivalued action languages with constraints in CLP(FD)
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Decomposition approach to solve dial-a-ride problems using ant computing and constraint programming
BVAI'07 Proceedings of the 2nd international conference on Advances in brain, vision and artificial intelligence
Inference control in logic databases as a constraint satisfaction problem
ICISS'07 Proceedings of the 3rd international conference on Information systems security
Hierarchical timetable construction
PATAT'06 Proceedings of the 6th international conference on Practice and theory of automated timetabling VI
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Constraint integer programming: a new approach to integrate CP and MIP
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Pure, declarative, and constructive arithmetic relations (declarative pearl)
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Failed value consistencies for constraint satisfaction
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
A large neighbourhood search approach to the multi-activity shift scheduling problem
Journal of Heuristics
Constraint application with higher-order programming for modeling music theories
Computer Music Journal
The Knowledge Engineering Review
Implementing logical connectives in constraint programming
Artificial Intelligence
A 25-year perspective on logic programming
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
A hybrid LS-CP solver for the shifts and breaks design problem
HM'10 Proceedings of the 7th international conference on Hybrid metaheuristics
Controlling search in constrained-object models
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Constraint programming systems for modeling music theories and composition
ACM Computing Surveys (CSUR)
Adaptive hybridization strategies
Proceedings of the 2011 ACM Symposium on Applied Computing
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
Journal of Artificial Intelligence Research
An MDE-based approach for solving configuration problems: an application to the eclipse platform
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
A framework for decision-based consistencies
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Traffic engineering for multiple spanning tree protocol in large data centers
Proceedings of the 23rd International Teletraffic Congress
Reactive imperative programming with dataflow constraints
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Domain-splitting generalized nogoods from restarts
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
A toolkit for designing interactive musical agents
Proceedings of the 23rd Australian Computer-Human Interaction Conference
Formal modeling
A component language for hybrid solver cooperations
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
A hybrid ant algorithm for the airline crew pairing problem
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Infinite qualitative simulations by means of constraint programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Generating propagators for finite set constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Revisiting the sequence constraint
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Vertex-Magic total labeling of a graph by distributed constraint solving in the mozart system
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
A new constraint solver for 3d lattices and its application to the protein folding problem
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
LP bounds in various constraint programming approaches for orthogonal packing
Computers and Operations Research
A constructive hybrid algorithm for crew pairing optimization
AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications
Using local search for guiding enumeration in constraint solving
AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications
HM'06 Proceedings of the Third international conference on Hybrid Metaheuristics
Proving properties of constraint logic programs by eliminating existential variables
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Multiconsistency and robustness with global constraints
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Two contributions of constraint programming to machine learning
ECML'05 Proceedings of the 16th European conference on Machine Learning
The Knowledge Engineering Review
An approach for dynamic split strategies in constraint solving
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Invited contribution: hybrid CSP solving
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Solving constraints on sets of spatial objects
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Explaining constraint programming
Processes, Terms and Cycles
ICAISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Soft Computing
Finite domain bounds consistency revisited
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Compositional construction of real-time dataflow networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Constraint-Based runtime prediction of SLA violations in service orchestrations
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
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
A new approach in model-based testing: designing test models in TTCN-3
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Computer Science Review
Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
Fundamenta Informaticae
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
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
Consistencies for ultra-weak solutions in minimax weighted CSPs using the duality principle
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
A compact encoding of pseudo-boolean constraints into SAT
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
View-based propagator derivation
Constraints
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
A constraint-based approach to quality assurance in service choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Constraint propagation as information maximization
Artificial Intelligence
Energy-driven consolidation in digital home
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
Real-time probabilistic data association over streams
Proceedings of the 7th ACM international conference on Distributed event-based systems
Multi-objective operating room scheduling considering desiderata of the surgical team
Decision Support Systems
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
A constraint-based approach for analysing financial market operations
Proceedings of the 14th International Conference on Computer Systems and Technologies
A concurrent constraint and pi-calculus-based language for service contracting
International Journal of Wireless and Mobile Computing
Solving a real-life, large-scale energy management problem
Journal of Scheduling
Hi-index | 0.00 |