权威例句
Solving SAT and SAT Modulo TheoriesSatisfiability modulo theories: introduction and applicationsHow to encode the modulo-two sum of binary sources (Corresp.)Iterative modulo scheduling: an algorithm for software pipelining loopsCompletion of a set of rules modulo a set of equationsNew automatic equaliser employing modulo arithmeticTermination of a Set of Rules Modulo a Set of EquationsRandom numbers generated by linear recurrence modulo twoSolving 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 )
