Depth-first iterative-deepening: an optimal admissible tree search
Artificial Intelligence
Negation and control in Prolog
Negation and control in Prolog
Principles of the Delphi parallel inference machine
The Computer Journal
A method for efficiently executing Horn clause programs using multiple processors
New Generation Computing
Parallel depth first search. Part I. implementation
International Journal of Parallel Programming
Parallel depth first search. Part II. analysis
International Journal of Parallel Programming
Optimal path-finding algorithms*
Search in Artificial Intelligence
Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition
Artificial Intelligence
Solving large combinatorial problems in logic programming
Journal of Logic Programming - Logic programming applications
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Structural operational semantics for AKL
Future Generation Computer Systems - Special issue: PARLE 91
Analysis of Or-parallel execution models
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some paradigms for visualizing parallel execution of logic programs
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Constraint logic programming: selected research
Constraint logic programming: selected research
Ports for objects in concurrent logic programs
Research directions in concurrent object-oriented programming
Tcl and the Tk toolkit
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Hybrid tree search in the Andorra model
Proceedings of the eleventh international conference on Logic programming
Parallel CLP on heterogeneous networks
Proceedings of the eleventh international conference on Logic programming
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Encapsulated search for higher-order concurrent constraint programming
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Garbage collection: algorithms for automatic dynamic memory management
Garbage collection: algorithms for automatic dynamic memory management
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Theoretical Computer Science - Special issue: principles and practice of constraint programming
A theoretical evaluation of selected backtracking algorithms
Artificial Intelligence
A unified computation model for functional and logic programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Constraint programming in Oz (tutorial)
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Extending a concurrent constraint language by propagators
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Objects for concurrent constraint programming
Objects for concurrent constraint programming
Programming languages for distributed applications
New Generation Computing
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
The OPL optimization programming language
The OPL optimization programming language
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Off-line scheduling of a real-time system
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
On the complexity of or-parallelism
New Generation Computing
Proceedings of the 1999 international conference on Logic programming
Proceedings of the 1999 international conference on Logic programming
CLAIRE: combining sets, search and rules to better express algorithms
Proceedings of the 1999 international conference on Logic programming
Comparing trailing and copying for constraint programming
Proceedings of the 1999 international conference on Logic programming
Constraint-based round robin tournament planning
Proceedings of the 1999 international conference on Logic programming
ACM Transactions on Computational Logic (TOCL)
Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chantillon-Sur-Seine, France, May 16-20, 1994: Selected Papers
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Negation and Quantifiers in NU-Prolog
Proceedings of the Third International Conference on Logic Programming
Uniprocessor Garbage Collection Techniques
IWMM '92 Proceedings of the International Workshop on Memory Management
Encapsulated Search and Constraint Programming in Oz
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
PLILPS '95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs
Integrating Efficient Records into Concurrent Constraint Programming
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
An Open-Ended Finite Domain Constraint Solver
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
Controlling Search in Declarative Programs
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Selected Papers from Constraint Programming: Basics and Trends
Selected Papers from Constraint Programming: Basics and Trends
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Improved Branch and Bound in Constraint Logic Programming
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Search Procedures and Parallelism in Constraint Programming
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Excluding Symmetries in Constraint-Based Search
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Demonstration of the Interactive Graph-Visualization System da Vinci
GD '94 Proceedings of the DIMACS International Workshop on Graph Drawing
Graph Layout through the VCG Tool
GD '94 Proceedings of the DIMACS International Workshop on Graph Drawing
COMPOzE---Intention-based Music Composition through Constraint Programming
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
SICStus Prolog User''s Manual
Interleaved depth-first search
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Depth-bounded discrepancy search
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Reasoning about confidentiality at requirements engineering time
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming
Integration of declarative and constraint programming
Theory and Practice of Logic Programming
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Dynamic variable elimination during propagation solving
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Using Constraints over Finite Sets of Integers for Range Concatenation Grammar Parsing
GoTAL '08 Proceedings of the 6th international conference on Advances in Natural Language Processing
Agent-Based Speculative Constraint Processing
IEICE - Transactions on Information and Systems
Solution strategies for multi-domain constraint logic programs
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A constraint store based on multivalued decision diagrams
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Maintaining state in propagation solvers
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
Constraint application with higher-order programming for modeling music theories
Computer Music Journal
Constraint programming systems for modeling music theories and composition
ACM Computing Surveys (CSUR)
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
CICLing'05 Proceedings of the 6th international conference on Computational Linguistics and Intelligent Text Processing
Solving CSP including a universal quantification
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Compositional abstractions for search factories
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Speculative constraint processing with iterative revision for disjunctive answers
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |