论文列表及评分结果
Using Tactics to Reformulate Formulae for Resolution Theorem Proving.
电商所评分：9
On Resolution with Short Clauses.
电商所评分：9
Unification in Sort Theories and Its Applications.
电商所评分：9
Ordinals I: Basic Notions.
电商所评分：6
Ordinals II: Some Applications and a Functorial Approach.
电商所评分：1
Formal Power Series.
电商所评分：9
Polynomial Time Uniformization and Non-standard Methods.
电商所评分：1
Back and Forth between Continuous and Discrete for the Working Computer Scientist.
电商所评分：7
Some Artefacts of Integer-computer Circles.
电商所评分：2
Sorting, Linear Time and the Satisfiability Problem.
电商所评分：10
Exact Complexity of Problems of Incompletely Specified Automata.
电商所评分：10
Massively Parallel Computations on Many-variable Polynomials.
电商所评分：3
Computations on One Dimensional Cellular Automata.
电商所评分：1
Definability, Decidability, Complexity.
电商所评分：8
Logic, Semigroups and Automata on Words.
电商所评分：5
A Unary Representation Result for System T.
电商所评分：10
About Classical Logic and Imperative Programming.
电商所评分：6
Learning-Theoretic Perspectives of Acceptable Numberings.
电商所评分：8
Intelligent Backtracking in CLP(R).
电商所评分：1
Seminormal Stratified Default Theories.
电商所评分：3
Program Tactics and Logic Tactics.
电商所评分：8
Polynomial-Time Computable Stable Models.
电商所评分：3
A Modal Contrastive Logic: The Logic of 'but'.
电商所评分：10
A BDD SAT Solver for Satisfiability Testing: An Industrial Case Study.
电商所评分：10
Hierarchies of Polynomially Solvable Satisfiability Problems.
电商所评分：9
A Cost Effective Question-Asking Strategy for Horn Clause Systems.
电商所评分：6
A Fast Parallel SAT-Solver - Efficient Workload Balancing.
电商所评分：3
On Computing Minimal Models.
电商所评分：5
On the complexity of Entailment in Propositional Multivalued Logics.
电商所评分：8
The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae.
电商所评分：1