‘Squaring the Circle’: Increasing demand, decreasing budget. Managing library provision in times of financial constraint. On Monday 17th December 2012 at the Seacole Building, Birmingham City University, Westbourne R

Source URL: library.bcu.ac.uk

• Edgbaston
• Birmingham City University
• Birmingham
• Jisc

Binding-Time Analysis for Standard ML Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark Email: &

Source URL: repository.readscheme.org

• Constraint programming
• Constraint satisfaction problem
• Lambda calculus
• Constraint
• Constraint logic programming
• Constraint satisfaction

Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗

Source URL: fm.csl.sri.com

• Logic in computer science
• Formal methods
• Procedural programming languages
• Constraint programming
• Satisfiability modulo theories
• Parameter
• Formal verification
• Scheme
• Logic programming
• ALGOL 68
• Decompiler
• Standard ML

Microsoft Word - CORALBRASIL_LREC.doc

Source URL: visl.sdu.dk

• Compiler construction
• Applied linguistics
• Corpus linguistics
• Computational linguistics
• Constraint Grammar
• Eckhard Bick
• Part-of-speech tagging
• Natural language processing
• Parsing
• Dependency grammar
• Morphology
• Prosody

Extended Formulation for CSP that is Compact for Instances of Bounded Treewidth∗ Petr Kolman, Martin Kouteck´ y Department of Applied Mathematics, Faculty of Mathematics and Physics,

Source URL: kam.mff.cuni.cz

• Tree decomposition
• Constraint programming
• Treewidth
• Dynamical systems
• Linear algebra
• Decomposition method
• Holographic algorithm

Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems Thanasis Balafoutis1 and Kostas Stergiou1 Department of Information & Communication Systems Engineering University of th

Source URL: tmancini.di.uniroma1.it

• Constraint programming
• Operations research
• Constraint satisfaction problem
• Local consistency
• Mathematical optimization
• Heuristic
• Integer programming
• Constraint satisfaction
• Search algorithm
• Local search
• Look-ahead
• Decomposition method

Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of

Source URL: tmancini.di.uniroma1.it

• Constraint programming
• Operations research
• Search algorithms
• Constraint satisfaction problem
• Mathematical optimization
• Constraint satisfaction
• Heuristic
• Algorithm
• Duality
• Backtracking
• Travelling salesman problem
• Local consistency

CONSTRAINT SATISFACTION WITH COUNTING QUANTIFIERS BARNABY MARTIN ∗† , FLORENT MADELAINE

Source URL: www.bedewell.com

• Complexity classes
• IP
• FO
• PSPACE-complete
• PSPACE
• Interpretation
• NP
• Quantifier
• Well-formed formula
• Generalized geography
• Linear temporal logic

Other nature information English version – SOSI standard 4.0 Other nature information English version – SOSI standard 4.0

Source URL: kartverket.no

Frozen variables in random boolean constraint satisfaction problems Michael Molloy and Ricardo Restrepo Department of Computer Science, University of Toronto 10 King’s College Road, Toronto, ON July 3, 2012

Source URL: www.cs.toronto.edu

• Constraint programming
• Constraint satisfaction problem
• Structure
• Hypergraph
• Model theory