1
Published 2008
Table of Contents: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... and Integrability of ODE Systems -- Resultant-Based Methods for Plane Curves Intersection Problems -- Symbolic...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Constraint Satisfaction Problems -- New Bounds for MAX-SAT by Clause Learning -- Towards Hierarchical...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... -- Quantified Positive Temporal Constraints -- Non-uniform Boolean Constraint Satisfaction Problems...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... and Random Intersection -- Regularity Problems for Weak Pushdown ω-Automata and Games -- Computational...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...
View full text
Electronic eBook