Querying temporal constraint networks in PTIME
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Interactive authoring of multimedia documents in a constraint-based authoring system
Multimedia Systems - Special section on video libraries
Computer algebra handbook
Constraint logic programming over sets of spatial objects
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Higher-Order and Symbolic Computation
SMT(CLU): a step toward scalability in system verification
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Interpolant Generation for UTVPI
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness
Formal Methods in System Design
Two variables per linear inequality as an abstract domain
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
An analysis of slow convergence in interval propagation
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
An improved tight closure algorithm for integer octagonal constraints
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Efficient generation of craig interpolants in satisfiability modulo theories
ACM Transactions on Computational Logic (TOCL)
Incremental Satisfiability and Implication for UTVPI Constraints
INFORMS Journal on Computing
The complexity of integer bound propagation
Journal of Artificial Intelligence Research
The two variable per inequality abstract domain
Higher-Order and Symbolic Computation
Zap: automated theorem proving for software analysis
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A SAT-based decision procedure for mixed logical/integer linear problems
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A scalable method for solving satisfiability of integer linear arithmetic logic
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Solving sparse linear constraints
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
An efficient decision procedure for UTVPI constraints
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Solving constraints on sets of spatial objects
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
From propositional satisfiability to satisfiability modulo theories
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
A progressive simplifier for satisfiability modulo theories
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Program analysis using quantifier-elimination heuristics
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Minimum clique cover in claw-free perfect graphs and the weak Edmonds-Johnson property
IPCO'13 Proceedings of the 16th international conference on Integer Programming and Combinatorial Optimization
Lossless horizontal decomposition with domain constraints on interpreted attributes
BNCOD'13 Proceedings of the 29th British National conference on Big Data
Automated Reasoning and Mathematics
| Hi-index | 0.00 |