Ranking and Reputation Systems in the QBF competition Massimo Narizzano, Luca Pulina, and Armando Tacchella

Source URL: www.star.dist.unige.it

• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Boolean satisfiability problem
• Satisfiability Modulo Theories
• Solver
• True quantified Boolean formula
• Theoretical computer science
• Applied mathematics
• Mathematics

Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 3.4 Aussagenlogik – SAT-Solver

Source URL: www.uni-kassel.de

JayDee Technology Ltd. Blackboard Architectures

Source URL: www.agent.ai

• Software architecture
• Science
• Distance education
• Educational technology
• Educational psychology
• Blackboard Inc.
• Problem solving
• Solver
• Reasoning system
• Education
• Artificial intelligence
• Blackboard system

John Clifford Shaw Papers, [removed]OVERVIEW OF THE COLLECTION

Source URL: sirismm.si.edu

• Turing Award laureates
• Information Processing Language
• JOSS
• JOHNNIAC
• General Problem Solver
• Logic Theorist
• Allen Newell
• Herbert Simon
• Keith Uncapher
• Artificial intelligence
• Science
• Computing

The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver

Source URL: www.reidgsmith.com

• Distributed computing
• Sensor node
• Electronics
• Routing algorithms
• Wireless sensor network
• Distributed algorithm
• Computing
• Contract Net Protocol
• Technology

MEET – OPEN PROBLEMS: Two cases from practice By Anatoly Guin, Universal Solver Lab, Head [removed]

Source URL: www.triz-journal.com

• Education
• Psychology
• Mathematics education
• Evaluation
• Problem
• Creativity
• Reduction
• Mathematical problem
• Educational psychology
• Problem solving
• Mind

© 2004 Anatoly Guin Serious changes in the educational system are waiting for us

Source URL: www.triz-journal.com

• Science
• TRIZ
• Skill
• Solver
• Knowledge
• Creativity
• Trizics
• Problem solving
• Mind
• Cognitive science

NUMERICAL SIMULATION OF STRUCTURAL DEFORMATION UNDER SHOCK AND IMPACT LOADS USING A COUPLED MULTI-SOLVER APPROACH

Source URL: hsrlab.gatech.edu

• Science
• Fluid dynamics
• Number theorists
• Numerical analysis
• Smoothed-particle hydrodynamics
• Meshfree methods
• Joseph Louis Lagrange
• Numerical diffusion
• Lagrangian
• Computational fluid dynamics
• Mathematics
• Computational science

Source URL: www.lix.polytechnique.fr

• Mathematical optimization
• Open innovation intermediaries
• Computing
• Numerical analysis
• Mathematical software
• Presans
• InnoCentive
• Solver
• Sol
• Social information processing
• Operations research
• Crowdsourcing

ROCSOLID User’s Guide Version 3.4 March 17, 2005

Source URL: www.csar.uiuc.edu

• Applied mathematics
• Operations research
• Multigrid method
• Numerical analysis
• Wavelets
• Center for the Simulation of Advanced Rockets
• Lis
• Solver
• Mathematical optimization
• Software
• Mathematics
• Numerical software