Citation Impact
Citing Papers
Beyond Computation: Information Technology, Organizational Transformation and Business Performance
2000 Standout
Variable neighborhood search: Principles and applications
2001 Standout
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
1974
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
1980 Standout
Thinking critically about and researching algorithms
2016 Standout
Algorithms for the maximum satisfiability problem
1990
Two Results on Ordering for Resolution with Merging and Linear Format
1971
Symbolic execution and program testing
1976 Standout
An Assessment of Techniques for Proving Program Correctness
1972
Petri nets: Properties, analysis and applications
1989 Standout
A predicate-transition net model for parallel interpretation of logic programs
1988
The impact of logic programming on databases
1992
Artificial Intelligence: A New Synthesis
1998
A user's guide to tabu search
1993 Standout
Tabu Search: A Tutorial
1990 Standout
Algorithm = logic + control
1979
A Proof Procedure Using Connection Graphs
1975
Variable neighborhood search
1997 Standout
Algorithms, Governance, and Governmentality
2015 Standout
Ant Algorithms for Discrete Optimization
1999 Standout
Automated Negotiation: Prospects, Methods and Challenges
2001 Standout
A logic for default reasoning
1980 Standout
Linear-time algorithms for testing the satisfiability of propositional horn formulae
1984 Standout
Linear resolution with selection function
1971
The Pleadings Game
1994 Standout
Tabu Search—Part II
1990 Standout
Works of L. Wos being referenced
Unit Refutations and Horn Sets
1974
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
1965
The Concept of Demodulation in Theorem Proving
1967
J. A. Robinson. Automatic deduction with hyper-resolution. International journal of computer mathematics, vol. 1 no. 3 (1965), pp. 227–234.
1974