Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
`` Strong '' NP-Completeness Results: Motivation, Examples, and Implications
Journal of the ACM (JACM)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
A Decomposition Approach for Balancing Large-Scale Acyclic Data Flow Graphs
IEEE Transactions on Computers
A Polynomial Algorithm for Balancing Acyclic Data Flow Graphs
IEEE Transactions on Computers
Making object-oriented schemas more expressive
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On XML integrity constraints in the presence of DTDs
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On verifying consistency of XML specifications
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of recognizing the Hilbert basis of a linear diophantine system
Theoretical Computer Science
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Computational Complexity of Simultaneous Elementary Matching Problems
Journal of Automated Reasoning
On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Approximation Algorithms for Hamming Clustering Problems
COM '00 Proceedings of the 11th Annual Symposium on Combinatorial Pattern Matching
Length-bounded disjoint paths in planar graphs
Discrete Applied Mathematics - Sixth Twente Workshop on Graphs and Combinatorial Optimization
Reasoning in expressive description logics
Handbook of automated reasoning
New polynomial-time instances to various knapsack-type problems
Fundamenta Informaticae
Code-Size Minimization in Multiprocessor Real-Time Systems
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
XML data exchange: consistency and query answering
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Complexity of the Two-Variable Fragment with Counting Quantifiers
Journal of Logic, Language and Information
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Size-change termination with difference constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
On Integer Programming and the Branch-Width of the Constraint Matrix
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Preferred Database Repairs Under Aggregate Constraints
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Shallow Models for Non-iterative Modal Logics
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Generalising Constraint Solving over Finite Domains
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Two-variable logic on data trees and XML reasoning
Journal of the ACM (JACM)
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Optimizing Causal Link Based Web Service Composition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Decision procedures for algebraic data types with abstractions
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Querying and repairing inconsistent numerical databases
ACM Transactions on Database Systems (TODS)
An analysis of slow convergence in interval propagation
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
On finite satisfiability of the guarded fragment with equivalence or transitive guards
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Decision procedures for multisets with cardinality constraints
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Expressive languages for path queries over graph-structured data
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Theory-specific automated reasoning
A 25-year perspective on logic programming
Consistent answers to boolean aggregate queries under aggregate constraints
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part II
Range-consistent answers of aggregate queries under aggregate constraints
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
On the satisfiability of two-variable logic over data words
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Computer Networks: The International Journal of Computer and Telecommunications Networking
Efficient reasoning about data trees via integer linear programming
Proceedings of the 14th International Conference on Database Theory
An exact algorithm for the 0---1 linear knapsack problem with a single continuous variable
Journal of Global Optimization
The complexity of reversal-bounded model-checking
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Consistent query answers on numerical databases under aggregate constraints
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Building a calculus of data structures
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Solving sparse linear constraints
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Presburger modal logic is PSPACE-Complete
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Basis of solutions for a system of linear inequalities in integers: computation and applications
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Identification and counter abstraction for full virtual symmetry
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
DART: a data acquisition and repairing tool
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Efficient reasoning about data trees via integer linear programming
ACM Transactions on Database Systems (TODS)
New polynomial-time instances to various knapsack-type problems
Fundamenta Informaticae
Expressive Languages for Path Queries over Graph-Structured Data
ACM Transactions on Database Systems (TODS)
Computational complexity of linear constraints over the integers
Artificial Intelligence
Partitioned EDF scheduling on a few types of unrelated multiprocessors
Real-Time Systems
Complexity of judgment aggregation
Journal of Artificial Intelligence Research
Reduction of economic inequality in combinatorial domains
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hyperplane separation technique for multidimensional mean-payoff games
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.01 |