A formal approach to undo operations in programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
The complexity of backtrack searches
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Different perspectives of the N-Queens problem
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Programming Language for Automata
Journal of the ACM (JACM)
Journal of the ACM (JACM)
A Backtrack Procedure for Isomorphism of Directed Graphs
Journal of the ACM (JACM)
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Backtracking in a Generalized Control Setting
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Two-level control structure for nondeterministic programming
Communications of the ACM
Backtrack programming techniques
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
Requirements for advanced programming systems for list processing
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
Elements of the randomized combinatorial file structure
SIGIR '71 Proceedings of the 1971 international ACM SIGIR conference on Information storage and retrieval
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Nonsystematic Search and No-Good Learning
Journal of Automated Reasoning
On forward checking for non-binary constraint satisfaction
Artificial Intelligence
Proceedings of the Applications of Evolutionary Computing on EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN
An Examination of Probabilistic Value-Ordering Heuristics
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
A topologically based non-minimum distance routing algorithm
DAC '78 Proceedings of the 15th Design Automation Conference
Optimal design of welded girders
DAC '70 Proceedings of the 7th Design Automation Workshop
Backtrack programming in welded girder design
DAC '68 Proceedings of the 5th annual Design Automation Workshop
A procedure mechanism for backtrack programming
ACM '76 Proceedings of the 1976 annual conference
An implementation of backtracking for programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
An overview of nonprocedural languages
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Some theoretical aspects of algorithmic routing
DAC '77 Proceedings of the 14th Design Automation Conference
Heuristic switching expression simplification
ACM '68 Proceedings of the 1968 23rd ACM national conference
Combinatorial aspects of automated designs
DAC '66 Proceedings of the SHARE design automation project
A Strong Local Consistency for Constraint Satisfaction
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
An implementation of backtracking for programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
N-queens pattern generation: an insight into space complexity of a backtracking algorithm
ISICT '04 Proceedings of the 2004 international symposium on Information and communication technologies
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Evolving combinatorial problem instances that are difficult to solve
Evolutionary Computation
Partition search for non-binary constraint satisfaction
Information Sciences: an International Journal
A Model for Control Structures for Artificial Intelligence Programming Languages
IEEE Transactions on Computers
Analysis of an Information System Model with Transfer Penalties
IEEE Transactions on Computers
A Branch and Bound Algorithm for Computing k-Nearest Neighbors
IEEE Transactions on Computers
A Branch and Bound Clustering Algorithm
IEEE Transactions on Computers
A Branch and Bound Algorithm for Feature Subset Selection
IEEE Transactions on Computers
R69-31 A Formal Deductive Problem-Solving System
IEEE Transactions on Computers
An Algorithm for NAND Decomposition Under Network Constraints
IEEE Transactions on Computers
Staffing a software project: A constraint satisfaction and optimization-based approach
Computers and Operations Research
A survey on resource discovery mechanisms, peer-to-peer and service discovery frameworks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Multidimensional correlation lattices as an aid to three-dimensional pattern reconstruction
AFIPS '66 (Spring) Proceedings of the April 26-28, 1966, Spring joint computer conference
The on-line firing squad simulator
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
Extending SPARQL with regular expression patterns (for querying RDF)
Web Semantics: Science, Services and Agents on the World Wide Web
2-Covered paths by a set of antennas with minimum power transmission range
Information Processing Letters
TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
Domain filtering consistencies
Journal of Artificial Intelligence Research
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
Using inferred disjunctive constraints to decompose constraint satisfaction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Domain filtering can degrade intelligent backtracking search
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A model for control structures for artificial intelligence programming languages
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Backtracking in MLISP2: an efficient backtracking method for LISP
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
IBM Journal of Research and Development
A technique for implementing backtrack algorithms and its application
Information Processing Letters
An approach based on BDI architecture for space occupation
CIT'09 Proceedings of the 3rd International Conference on Communications and information technology
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
The Knowledge Engineering Review
An efficient cross product representation of the constraint satisfaction problem search space
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Solving general lattice puzzles
FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics
Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism
Journal of Experimental Algorithmics (JEA)
Global optimization numerical strategies for rate-independent processes
Journal of Global Optimization
Fast protein structure alignment algorithm based on local geometric similarity
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Weak Schur numbers and the search for G.W. Walker's lost partitions
Computers & Mathematics with Applications
A new search for optimal binary arrays with minimum peak sidelobe levels
SETA'04 Proceedings of the Third international conference on Sequences and Their Applications
Improving graph colouring algorithms and heuristics using a novel representation
EvoCOP'06 Proceedings of the 6th European conference on Evolutionary Computation in Combinatorial Optimization
A constraint propagation approach to structural model based image segmentation and recognition
Information Sciences: an International Journal
Channel and Time Slot Allocation for Dense RFID Networks
Wireless Personal Communications: An International Journal
Optimum cost design of welded box beams with longitudinal stiffeners using advanced backtrack method
Structural and Multidisciplinary Optimization
| Hi-index | 0.10 |