Memory & Cognition 2006, 34 (6), Hemispheric processing of inferences: The effects of textual constraint and working memory capacity

Source URL: www.brainandeducationlab.nl

Constraints Ian Miguel () Ian Gent, Andy Grayland, Chris Jefferson, Tom Kelsey, Lars Kotthoff, Steve Linton, Neil Moore, Peter Nightingale, Andrea Rendl

Source URL: www-circa.mcs.st-and.ac.uk

• Computing
• Constraint satisfaction
• Constraint
• Constraint logic programming
• Complexity of constraint satisfaction
• Constraint programming
• Software engineering
• Computer programming

Masango & Mbarika Major Challenge and constraint of documenting indigenous knowledge about Africa’s complementary and alternative medicine (e-ACAM). Charles A. Masango, August, MAJOR CHALLENGE AND CONSTRAINT OF

Source URL: www.ictforafrica.org

• Herbalism
• Physician
• Traditional medicine
• Cam
• Dietary supplement
• Complementary and Alternative Medicine (CAM) Program at Georgetown University
• Alternative medicine
• Medicine
• Health

Cue constraints and their interactions in phonological perception and production* Paul Boersma, 26 July 2009 This paper shows how one can formalize the phonology-phonetics interface within constraint-based frameworks suc

Source URL: www.fon.hum.uva.nl

eTaSL/eTC: A constraint-based Task Specification Language and Robot Controller using Expression Graphs Erwin Aertbeli¨en and Joris De Schutter Abstract— This paper presents a new framework for constraint-based task sp

Source URL: www.factory-in-a-day.eu

• Computer programming
• Mathematical optimization
• Constraint satisfaction
• Operations research
• Quadratic programming
• Slack variable
• Ada
• Constraint Composite Graph
• Constraint logic programming
• Constraint programming
• Software engineering
• Computing

First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012

Source URL: cedeela.fr

• Automated theorem proving
• Model theory
• Logic in computer science
• Constraint programming
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability Modulo Theories
• DPLL algorithm
• Interpretation
• Theoretical computer science
• Logic
• Mathematical logic

2015 Naples Daily News Half Marathon Overall Finish List Race Date January 18, 2015

Source URL: d368g9lw5ileu7.cloudfront.net

• CHIP
• Constraint programming

RealPaver User’s Manual Solving Nonlinear Constraints by Interval Computations Edition 0.4, for RealPaver Version 0.4 AugustLaurent Granvilliers

Source URL: pagesperso.lina.univ-nantes.fr

• Constraint satisfaction
• France
• Government of France
• Constraint programming
• Nantes

On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems Carsten Lutz1 and Frank Wolter2 1 2

Source URL: www.informatik.uni-bremen.de

• Finite model theory
• Descriptive complexity
• Computational complexity theory
• FO
• Constraint programming
• Constraint satisfaction problem
• Conjunctive query
• SO
• HO
• Theoretical computer science
• Applied mathematics
• Complexity classes