Z3 Lab exercises Leonardo de Moura and Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {leonardo, nbjorner}@microsoft.com June 18, 2008

Source URL: leodemoura.github.io

• Computational complexity theory
• Recreational mathematics
• Z3
• Gray code
• Eight queens puzzle
• Sudoku
• Constraint satisfaction
• Bit array
• Longest path problem
• Mathematics
• Theoretical computer science
• NP-complete problems

Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland

Source URL: lara.epfl.ch

• Logic in computer science
• Formal methods
• Constraint programming
• Electronic design automation
• NP-complete problems
• Satisfiability Modulo Theories
• Algorithm
• Presburger arithmetic
• Function
• Mathematics
• Theoretical computer science
• Mathematical logic

Appendix A – Guidance Documents Fiscal Constraint Analysis The below tables demonstrate that the Transit Element of the State Transportation Improvement Program (STIP) is fiscally constrained. Yearly allocations and c

Source URL: www.massdot.state.ma.us

Introduction Comprehensions in CHR cp Monotonicity

Source URL: www.qatar.cmu.edu

• Computer programming
• Functional languages
• Constraint Handling Rules
• Constraint logic programming
• Pure
• Monad
• Multiset
• Declarative programming
• Software engineering
• Constraint programming

O R I G I NA L A RT I C L E doi:j00913.x INTERGENOMIC EPISTASIS AND COEVOLUTIONARY CONSTRAINT IN PLANTS AND RHIZOBIA

Source URL: www.life.illinois.edu

• Nitrogen metabolism
• Soil biology
• Microbiology
• Rhizobia
• Rhizobium
• Root nodule
• Medicago truncatula
• Sinorhizobium meliloti
• Community
• Biology
• Symbiosis
• Rhizobiales

Tensors and Optimization Ravi Kannan September 16, 2013 Ravi Kannan

Source URL: simons.berkeley.edu

• Mathematical optimization
• Applied mathematics
• Mathematics
• Logic in computer science
• Constraint programming
• NP-complete problems
• Theoretical computer science
• Operations research
• Tensor

The International Journal of Robotics Research http://ijr.sagepub.com/ Motion planning with sequential convex optimization and convex collision checking John Schulman, Yan Duan, Jonathan Ho, Alex Lee, Ibrahim Awwal, Henr

Source URL: www.ieor.berkeley.edu

• Trajectory optimization
• Collision detection
• Linear programming
• Convex optimization
• Quadratic programming
• Constraint optimization
• Penalty method
• Motion planning
• Optimal control
• Mathematical optimization
• Applied mathematics
• Mathematical analysis

PDF Document

Source URL: www.ics.uci.edu

• Depth-first search
• Tree decomposition
• Decomposition method
• Complexity of constraint satisfaction
• Graph theory
• Constraint programming
• Constraint graph

PDF Document

Source URL: www.ics.uci.edu

PDF Document

Source URL: www.cs.technion.ac.il

• Constraint programming
• Relational model
• Conjunctive query
• Database theory
• SQL
• Matching
• FO
• Relational algebra
• Decomposition method
• Theoretical computer science
• Computing
• Computational complexity theory