# Modulo operation

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2011

Highly Cited

2011

- Commun. ACM
- 2011

Checking the satisfiability of logical formulas, SMT solvers scale orders of magnitude beyond custom ad hoc solvers.Â

Is this relevant?

Highly Cited

2011

Highly Cited

2011

- SAS
- 2011

We present a semi-decision procedure for checking satisfiability of expressive correctness properties of recursive first-orderâ€¦Â (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- Handbook of Satisfiability
- 2009

DPLL Modulo Multiple Theories Propagate, Conflict, Explain, Backjump, Fail (unchanged) Decide l âˆˆ Lit(F) âˆª I(M) l, l / âˆˆ M M := Mâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- J. ACM
- 2006

We first introduce Abstract DPLL, a rule-based formulation of the Davis--Putnam--Logemann--Loveland (DPLL) procedure forâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Journal of Automated Reasoning
- 2003

Deduction modulo is a way to remove computational arguments from proofs by reasoning modulo a congruence on propositions. Such aâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- IEEE Symposium on Computer Arithmetic
- 1999

New VLSI circuit architectures for addition and multiplication modulo(2 1) and(2 + 1) are proposed that allow the implementationâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- J. Symb. Log.
- 1998

We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showingâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- MICRO
- 1998

Clustering is one solution to the demand for wideissue machines and fast clock cycles because it allows for smaller, less portedâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- International Journal of Parallel Programming
- 1996

Modulo scheduling is a framework within which algorithms for software pipelining innermost loops may be defined. The frameworkâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- MICRO
- 1994

Modulo scheduling is a framework within which a wide variety of algorithms and heuristics may be defined for software pipeliningâ€¦Â (More)

Is this relevant?