Automatic test data generation using constraint solving techniques
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family
Proceedings of the 17th International Conference on Logic Programming
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Promoting Constraints to First-Class Status
CL '00 Proceedings of the First International Conference on Computational Logic
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A New Multi-resource cumulatives Constraint with Negative Heights
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Continuous First-Order Constraint Satisfaction
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Efficient solving of quantified inequality constraints over the real numbers
ACM Transactions on Computational Logic (TOCL)
Timed Concurrent Constraint Programming for Analysing Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Constraint patterns and search procedures for CP-based random test generation
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Inference with constrained hidden markov models in prism
Theory and Practice of Logic Programming
Domain consistency with forbidden values
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
On the implementation of gnu prolog
Theory and Practice of Logic Programming - Prolog Systems
Model-based automated and guided configuration of embedded software systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Executing Suspended Logic Programs
Fundamenta Informaticae
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Fundamenta Informaticae
Domain consistency with forbidden values
Constraints
Hi-index | 0.00 |