# Satisfaction theory

## Definitions

• Chambers's Twentieth Century Dictionary
• Satisfaction theory (of the Atonement), the ordinary theory of Catholic orthodoxy that Christ made satisfaction to Divine justice for the guilt of human sin by suffering as the human representative, and that thus Divine forgiveness was made possible
• ***

## Etymology

Chambers's Twentieth Century Dictionary
Fr. satisfaire—L. satisfacĕre, satis, enough, facĕre, to make.

## Usage

### In literature:

This theory afforded the Shimerdas great satisfaction, apparently.
"My Antonia" by Willa Cather
None of the theories of the philosophers gave any satisfaction.
"The World's Greatest Books, Vol X" by Various
The problem of aesthetic satisfaction in symmetrical forms is easily linked with the well-known theory of 'sympathetic reproduction.
"Harvard Psychological Studies, Volume 1" by Various
Fred Henderson had the satisfaction of seeing his theory verified.
"Burned Bridges" by Bertrand W. Sinclair
He was a practical man, and his theories were now being put to a test that gave him some proud satisfaction.
"The Atlantic Monthly, Volume 13, No. 77, March, 1864" by Various
I cannot tell you what satisfaction and what distress that theory has caused me of late.
"The Jessica Letters: An Editor's Romance" by Paul Elmer More
These theories, first promulgated by Edward Forbes, were hailed with general satisfaction by the scientific world.
"The History of the European Fauna" by R. F. Scharff
You had the satisfaction of living up to your theories, I have to pay the penalty.
"The Yellow House" by E. Phillips Oppenheim
***

### In science:

Gamarnik, Linear phase transition in random linear constraint satisfaction problems, To appear in Probability Theory and Related Fields.
Dynamics of exponential linear map in functional space
The Computational Structure of Monotone Monadic SNP and Contraint Satisfaction: A Study through Datalog and Group Theory.
Generalized Majority-Minority Operations are Tractable
The theory of computational complexity establishes a classiﬁcation of constraint satisfaction problems (CSP) according to their diﬃculty in the worst case.
On the freezing of variables in random constraint satisfaction problems
Vardi: The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory, SIAM J.
Forbidden lists (NP and CSP for combinatorialists)
Vardi: The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory, SIAM J.
NP by means of lifts and shadows
Combinatorial optimization and Constraint Satisfaction Problems (CSPs) arise in a wide array of scientiﬁc branches, including statistical physics, information theory, inference and machine learning.
Random subcubes as a toy model for constraint satisfaction problems
Molloy, Models for random constraint satisfaction problems, in Proceedings of the 32nd ACM Symposium on Theory of Computing, 2002.
Geometric properties of satisfying assignments of random $\epsilon$-1-in-k SAT
These two relations are modeled following two important structural relations identified in theory of discourse, the dominance and satisfaction-precedence.
On challenges and opportunities of designing integrated IT platforms for supporting knowledge works in organizations
He discussed several basic emotions. (The Emotions 1986). Grossberg and Levitin (1987) proposed a cognitive theory of drives and emotions; in this theory emotions are neural signals communicating satisfaction or dissatisfaction of drives to decisionmaking parts of the brain.
Curiosity and Pleasure
Random constraint satisfaction: theory meets practice.
Consistency and Random Constraint Satisfaction Models
He was rather isolated because physicists (and the highest in ranks, Plank) behaved passively towards his new gravitation theory.52 He felt he was on the right track with the equivalence principle, and the equality of inertial and gravitational mass, and this caused him great satisfaction.
Genesis of general relativity - Discovery of general relativity
More recently, much development of the theory of the ground state space of Ising models on random graphs has occurred in the guise of constraint satisfaction problems [3, 4].
Next nearest neighbour Ising models on random graphs
The quantiﬁed constraint satisfaction problem (QCSP) on a structure A, denoted by QCSP(A), is the problem of deciding the positive Horn theory of A.
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory.
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
This approach is novel in the sense that usually Graph Theory provides a test-bed for constraint satisfaction problems whereas here we see a case where the ﬂow of techniques is the other way around.
The Computational Complexity of Disconnected Cut and 2K2-Partition
***