Results 191 to 200 of about 53,013 (201)

Theorem Proving Modulo

Journal of Automated Reasoning, 2003
Gilles Dowek, Thérèse Hardin
exaly  

Tail Recursion Modulo Context: An Equational Approach

2023
Anton Lorenzen, Daan Leijen
exaly  

Improved long-period generators based on linear recurrences modulo 2

ACM Transactions on Mathematical Software, 2006
Pierre L'Écuyer, Francois Panneton
exaly  

On the Design of Modulo 2n±1 Subtractors and Adders/Subtractors

Circuits, Systems, and Signal Processing, 2011
D Bakalis, H T Vergos
exaly  

On Modulo 2^n+1 Adder Design

IEEE Transactions on Computers, 2012
Giorgos Dimitrakopoulos, Haridimos T Vergos   +1 more
exaly  

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions

ACM Transactions on Computational Logic, 2018
Ahmed Irfan, Marco Roveri, Roberto Sebastiani   +2 more
exaly  

Iterative Modulo Scheduling

International Journal of Parallel Programming, 2016
B Ramakrishna Rau
exaly  

Optimization Modulo Theories with Linear Rational Costs

ACM Transactions on Computational Logic, 2015
Roberto Sebastiani
exaly  

Graph factors modulo

Journal of Combinatorial Theory Series B, 2014
exaly  

Signed Graphs: From Modulo Flows to Integer-Valued Flows

SIAM Journal on Discrete Mathematics, 2018
Cun-Quan Zhang, Rong Luo, You Lu
exaly