modulo

prep.

以…为模；模数；

Solving SAT and SAT Modulo Theories
Satisfiability modulo theories: introduction and applications
How to encode the modulo-two sum of binary sources (Corresp.)
Iterative modulo scheduling: an algorithm for software pipelining loops
Completion of a set of rules modulo a set of equations
New automatic equaliser employing modulo arithmetic
Termination of a Set of Rules Modulo a Set of Equations
Random numbers generated by linear recurrence modulo two
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL( T )
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL( T )