BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
integer
Google integer

Tag #integer

197 papers:

PADLPADL-2020-ErikssonP #diagrams #domain-specific language #reasoning
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams (JE, MP), pp. 196–212.
ASPLOSASPLOS-2020-HildebrandKTLA #automation #linear #memory management #named #programming #using
AutoTM: Automatic Tensor Movement in Heterogeneous Memory Systems using Integer Linear Programming (MH, JK, ST, JLP, VA), pp. 875–890.
CIKMCIKM-2019-MalliaSSZ
GPU-Accelerated Decoding of Integer Lists (AM, MS, TS, MZ), pp. 2193–2196.
ICMLICML-2019-NockW
Lossless or Quantized Boosting with Integer Arithmetic (RN, RCW), pp. 4829–4838.
CAVCAV-2019-FrohnG #decidability #termination
Termination of Triangular Integer Loops is Decidable (FF, JG), pp. 426–444.
TAPTAP-2019-KapusNC #constraints #execution #question #symbolic computation
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? (TK, MN, CC), pp. 41–54.
DLTDLT-2018-KoNP #nondeterminism #polynomial #problem #reachability
Reachability Problems in Nondeterministic Polynomial Maps on the Integers (SKK, RN, IP), pp. 465–477.
ICMLICML-2018-KuhnleSCT #performance
Fast Maximization of Non-Submodular, Monotonic Functions on the Integer Lattice (AK, JDS, VGC, MTT), pp. 2791–2800.
ICMLICML-2018-SheldonWS #automation #difference #learning #modelling
Learning in Integer Latent Variable Models with Nested Automatic Differentiation (DS, KW, DS), pp. 4622–4630.
ICPRICPR-2018-ZhaoSJ #linear #locality #programming #using
Temporal Pattern Localization using Mixed Integer Linear Programming (RZ, GS, QJ), pp. 1361–1365.
PLDIPLDI-2018-AcharyaB0 #linear #programming
Polyhedral auto-transformation with no integer linear programming (AA, UB, AC0), pp. 529–542.
ICSE-2018-LinJGM #multi #named #programming #testing
Nemo: multi-criteria test-suite minimization with integer nonlinear programming (JWL, RJ, JG, SM), pp. 1039–1049.
ICSE-2018-XueL #feature model #multi #optimisation #problem #programming
Multi-objective integer programming approaches for solving optimal feature selection problem: a new perspective on multi-objective optimization problems in SBSE (YX, YFL), pp. 1231–1242.
CASECASE-2018-VijayaraghavanK #evaluation #linear #programming #recursion #reduction #reliability
A Mixed Integer Programming Based Recursive Variance Reduction Method for Reliability Evaluation of Linear Sensor Systems (VV, KK, YD, HP), pp. 836–842.
CASECASE-2018-ZhangLFL #linear #programming #sequence #using
Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming (JZ, HL, GF, ZL), pp. 1556–1561.
ICMLICML-2017-WinnerSS #modelling
Exact Inference for Integer Latent-Variable Models (KW, DS, DS), pp. 3761–3770.
KDDKDD-2017-FuLTA #programming #recommendation
Unsupervised P2P Rental Recommendations via Integer Programming (YF, GL, MT, CCA), pp. 165–173.
ASEASE-2017-ChengZS0S #automation #fault #named #type inference
IntPTI: automatic integer error repair with proper-type inference (XC, MZ0, XS, MG0, JS), pp. 996–1001.
CADECADE-2017-BrockschmidtJT0 #proving #safety #termination
Certifying Safety and Termination Proofs for Integer Transition Systems (MB, SJCJ, RT, AY0), pp. 454–471.
CADECADE-2017-HorbachVW #linear #on the
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic (MH, MV, CW), pp. 77–94.
CAVCAV-2017-BeameL #towards #verification
Towards Verifying Nonlinear Integer Arithmetic (PB, VL), pp. 238–258.
VMCAIVMCAI-2017-Jovanovic
Solving Nonlinear Integer Arithmetic with MCSAT (DJ), pp. 330–346.
ICPRICPR-2016-NieGJ #feature model #framework #programming
An information theoretic feature selection framework based on integer programming (SN, TG, QJ), pp. 3584–3589.
ASEASE-2016-Mougouei #dependence #graph #programming #requirements #using
Factoring requirement dependencies in software requirement selection using graphs and integer programming (DM), pp. 884–887.
FSEFSE-2016-Cheng #analysis #fault #named
RABIEF: range analysis based integer error fixing (XC), pp. 1094–1096.
ICSE-2016-SunZZZ #equivalence #multi #named
IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions (HS, XZ0, YZ, QZ), pp. 1051–1062.
IJCARIJCAR-2016-FrohnNHBG #bound #runtime #source code
Lower Runtime Bounds for Integer Programs (FF, MN, JH, MB, JG), pp. 550–567.
ICALPICALP-v1-2015-BodirskyMM #constraints #problem
Constraint Satisfaction Problems over the Integers with Successor (MB, BM, AM), pp. 256–267.
SEKESEKE-2015-SunSWZ #analysis #data flow #detection #fault #using
Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis (HS, CS, YW, QZ), pp. 601–606.
SASSAS-2015-GargR #linear #programming
Synthesizing Heap Manipulations via Integer Linear Programming (AG, SR), pp. 109–127.
ASPLOSASPLOS-2015-Sidiroglou-Douskos #automation #branch #using
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (SSD, EL, NR, PP, FL, DK, MCR), pp. 473–486.
CASECASE-2015-KamraA #multi #programming
A mixed integer programming model for timed deliveries in multirobot systems (NK, NA), pp. 612–617.
CASECASE-2015-KouiderHOO #approach #graph #linear #scheduling #source code
Mixed integer linear programs and tabu search approach to solve mixed graph coloring for unit-time job shop scheduling (AK, HAH, SO, AO), pp. 1177–1181.
CASECASE-2015-LyuWC #algorithm #heuristic #programming
Mixed integer programming model and heuristic algorithm for production planning of continuous casting and hot rolling (ML, ZW, FTSC), pp. 1503–1508.
CASECASE-2015-ProdelAXJL #database #linear #mining #process #programming #using
Discovery of patient pathways from a national hospital database using process mining and integer linear programming (MP, VA, XX, BJ, LL), pp. 1409–1414.
DACDAC-2015-TziantzioulisGF #correlation #fault #float #named
b-HiVE: a bit-level history-based error model with value correlation for voltage-scaled integer and floating point units (GT, AMG, SMF, NH, SOM, SP), p. 6.
DACDAC-2015-ZolotovF #linear #programming
Variation aware cross-talk aggressor alignment by mixed integer linear programming (VZ, PF), p. 6.
STOCSTOC-2015-ChanL #clustering #combinator
Clustered Integer 3SUM via Additive Combinatorics (TMC, ML), pp. 31–40.
CADECADE-2015-Bromberger0W #linear #revisited
Linear Integer Arithmetic Revisited (MB, TS, CW), pp. 623–637.
CADECADE-2015-Passmore #algebra #decidability
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (GOP), pp. 181–196.
FLOPSFLOPS-2014-HoffmannS #analysis #array #type system
Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.
POPLPOPL-2014-LongSKR #fault #generative
Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.
CASECASE-2014-XuLYM #probability #programming
A mixed integer programming model for Bed planning considering stochastic length of stay (LX, NL, XY, FM), pp. 1069–1074.
TACASTACAS-2014-BrockschmidtEFFG #analysis #complexity #runtime #source code
Alternating Runtime and Size Complexity Analysis of Integer Programs (MB, FE, SF, CF, JG), pp. 140–155.
SMTSMT-2014-KingBT #linear #programming #smt
Leveraging Linear and Mixed Integer Programming for SMT (TK, CB, CT), p. 65.
VMCAIVMCAI-2014-BozgaIK #problem #safety #source code
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (MB, RI, FK), pp. 242–261.
VMCAIVMCAI-2014-Romano #float #testing
Practical Floating-Point Tests with Integer Code (AR), pp. 337–356.
VLDBVLDB-2013-KolaitisPT #consistency #database #performance #programming #query
Efficient Querying of Inconsistent Databases with Binary Integer Programming (PGK, EP, WCT), pp. 397–408.
POPLPOPL-2013-Ben-AmramG #constraints #linear #on the #problem #ranking
On the linear ranking problem for integer linear-constraint loops (AMBA, SG), pp. 51–62.
QAPLQAPL-2013-ArulR #complexity #game studies
The Complexity of Robot Games on the Integer Line (AA, JR), pp. 132–148.
ICSEICSE-2013-CokerH #c #program transformation
Program transformations to fix C integers (ZC, MH), pp. 792–801.
CASECASE-2013-LiF #approach #linear #multi #problem #programming #scheduling
A mixed integer linear programming approach for multi-degree cyclic multi-hoist scheduling problems without overlapping (XL, RYKF), pp. 274–279.
CGOCGO-2013-RodriguesCP #performance #source code
A fast and low-overhead technique to secure programs against integer overflows (RER, VHSC, FMQP), p. 11.
TACASTACAS-2013-GantyIK #approximate #source code #summary
Underapproximation of Procedure Summaries for Integer Programs (PG, RI, FK), pp. 245–259.
TACASTACAS-2013-JovanovicLR #automaton #parametricity #synthesis
Integer Parameter Synthesis for Timed Automata (AJ, DL, OHR), pp. 401–415.
ICALPICALP-v1-2012-GuptaN #approximate #online #source code
Approximating Sparse Covering Integer Programs Online (AG, VN), pp. 436–448.
FLOPSFLOPS-2012-MartinFS #eclipse #set
Extending the TOY System with the ECLiPSe Solver over Sets of Integers (SEM, JCF, FSP), pp. 120–135.
CIKMCIKM-2012-ZhangWH #linear #programming #set
Selecting expansion terms as a set via integer linear programming (QZ, YW, XH), pp. 2399–2402.
ICPRICPR-2012-GuiLY #novel #performance
A novel integer transform for efficient reversible watermarking (XG, XL, BY), pp. 947–950.
KRKR-2012-LiuJN #programming #set
Answer Set Programming via Mixed Integer Programming (GL, TJ, IN).
SASSAS-2012-AbdullaACLR #abstraction #automation #source code
Automatic Fence Insertion in Integer Programs via Predicate Abstraction (PAA, MFA, YFC, CL, AR), pp. 164–180.
ICSEICSE-2012-DietzLRA #c #c++ #comprehension
Understanding integer overflow in C/C++ (WD, PL, JR, VSA), pp. 760–770.
SACSAC-2012-OSullivanWL #design #using
Designing data storage tier using Integer Programing (MJO, CGW, DL), pp. 426–433.
DACDAC-2012-ShojaeiDR #programming
Confidentiality preserving integer programming for global routing (HS, AD, PR), pp. 709–716.
OSDIOSDI-2012-WangCJZK #security
Improving Integer Security for Systems with KINT (XW, HC, ZJ, NZ, MFK), pp. 163–177.
IJCARIJCAR-2012-BobotCCIMMM #linear
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic (FB, SC, EC, MI, AM, AM, GM), pp. 67–81.
VMCAIVMCAI-2012-Ben-AmramGM #on the #termination
On the Termination of Integer Loops (AMBA, SG, ANM), pp. 72–87.
ICALPICALP-v1-2011-CliffordJ #bound #multi #online
Lower Bounds for Online Integer Multiplication and Convolution in the Cell-Probe Model (RC, MJ), pp. 593–604.
LATALATA-2011-RigoV #complexity #set
Syntactic Complexity of Ultimately Periodic Sets of Integers (MR, ÉV), pp. 477–488.
ICEISICEIS-v2-2011-Moghadampour11a #adaptation #algorithm #search-based #self
Self-adaptive Integer and Decimal Mutation Operators for Genetic Algorithms (GM), pp. 184–191.
SASSAS-2011-VerdoolaegeCB #approximate #transitive #tuple
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations (SV, AC, AB), pp. 216–232.
CASECASE-2011-AnghinolfiPSS #optimisation #programming
Integer programming and ant colony optimization for planning intermodal freight transportation operations (DA, MP, SS, SS), pp. 214–219.
TACASTACAS-2011-GriggioLS #generative #linear #performance #satisfiability
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.
CADECADE-2011-JovanovicM #linear
Cutting to the Chase Solving Linear Integer Arithmetic (DJ, LMdM), pp. 338–353.
ICLPICLP-J-2011-CodishGBFG #analysis #constraints #satisfiability #termination #using
SAT-based termination analysis using monotonicity constraints over the integers (MC, IG, AMBA, CF, JG), pp. 503–520.
ICLPICLP-J-2011-VoetsS #analysis #logic programming #source code
Non-termination analysis of logic programs with integer arithmetics (DV, DDS), pp. 521–536.
RTARTA-2010-NeurauterM #polynomial
Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers (FN, AM), pp. 243–258.
SEFMSEFM-2010-BersaniCFPR #constraints #ltl #runtime #smt #specification #verification
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability (MMB, LC, AF, MP, MR), pp. 244–254.
CIKMCIKM-2010-SilvestriV #encoding #named #performance #programming
VSEncoding: efficient coding and fast decoding of integer lists via dynamic programming (FS, RV), pp. 1219–1228.
ICPRICPR-2010-Yanagisawa #programming
An Offline Map Matching via Integer Programming (HY), pp. 4206–4209.
PLDIPLDI-2010-Loitsch #float
Printing floating-point numbers quickly and accurately with integers (FL), pp. 233–243.
RERE-2010-SalinesiMDD #constraints #requirements #reuse #theorem proving #using
Using Integer Constraint Solving in Reuse Based Requirements Engineering (CS, RM, DD, OD), pp. 243–251.
DACDAC-2010-WuDL #approach #parallel #programming
A parallel integer programming approach to global routing (THW, AD, JTL), pp. 194–199.
IJCARIJCAR-2010-BensaidCP #graph
Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (HB, RC, NP), pp. 369–383.
ICDARICDAR-2009-BodicLAHLK #detection #graph #linear #programming #using
Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming (PLB, HL, SA, PH, YL, AK), pp. 1320–1324.
LATALATA-2009-Bollig #bound #complexity #multi
Larger Lower Bounds on the OBDD Complexity of Integer Multiplication (BB), pp. 212–223.
LATALATA-2009-SumanP #automaton
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions (PVS, PKP), pp. 728–739.
RTARTA-2009-FuhsGPSF #proving #term rewriting #termination
Proving Termination of Integer Term Rewriting (CF, JG, MP, PSK, SF), pp. 32–47.
SEFMSEFM-2009-BresolinGMS #constraints #logic
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths (DB, VG, AM, GS), pp. 240–249.
DACDAC-2009-WuDL #3d #named #programming #scalability #using
GRIP: scalable 3D global routing using integer programming (THW, AD, JTL), pp. 320–325.
TACASTACAS-2009-NicoliniRR #satisfiability
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (EN, CR, MR), pp. 428–442.
CADECADE-2009-BensaidCP #named #proving #theorem proving
Dei: A Theorem Prover for Terms with Integer Exponents (HB, RC, NP), pp. 146–150.
CAVCAV-2009-BozgaHIKV #array #automation #source code #verification
Automatic Verification of Integer Array Programs (MB, PH, RI, FK, TV), pp. 157–172.
CAVCAV-2009-DilligDA #linear #proving
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers (ID, TD, AA), pp. 233–247.
CAVCAV-2009-KitchenK #constraints #markov #monte carlo
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints (NK, AK), pp. 446–461.
ICLPICLP-2009-Li #algorithm #constraints #difference #functional #research #summary
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality (CL), pp. 530–531.
ISSTAISSTA-2009-ZhangHGXM #linear #programming #testing #using
Time-aware test-case prioritization using integer linear programming (LZ, SSH, CG, TX, HM), pp. 213–224.
ICALPICALP-A-2008-AzarG #framework #source code #unification
Truthful Unification Framework for Packing Integer Programs with Choices (YA, IG), pp. 833–844.
ICALPICALP-C-2008-AltmannJR #black box #on the
On Black-Box Ring Extraction and Integer Factorization (KA, TJ, AR), pp. 437–448.
FLOPSFLOPS-2008-Julien #induction #using
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (NJ), pp. 48–63.
DATEDATE-2008-Parandeh-AfsharBI #linear #programming #synthesis
Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming (HPA, PB, PI), pp. 1256–1261.
FoSSaCSFoSSaCS-2008-HabermehlIV #array #decidability #question #what
What Else Is Decidable about Integer Arrays? (PH, RI, TV), pp. 474–489.
STOCSTOC-2008-DeKSS #composition #multi #performance #using
Fast integer multiplication using modular arithmetic (AD, PPK, CS, RS), pp. 499–506.
CSLCSL-2008-Eisinger #automaton #bound #linear
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (JE), pp. 431–445.
VMCAIVMCAI-2008-BagnaraHZ #algorithm #constraints
An Improved Tight Closure Algorithm for Integer Octagonal Constraints (RB, PMH, EZ), pp. 8–21.
ICDARICDAR-2007-GaoWHD #documentation #image #linear #programming #using
Decompose Document Image Using Integer Linear Programming (DG, YW, HH, MD), pp. 397–401.
SASSAS-2007-SimonK
Taming the Wrapping of Integer Arithmetic (AS, AK), pp. 121–136.
SACSAC-2007-FeydyS #equation #linear
Propagating dense systems of integer linear equations (TF, PJS), pp. 306–310.
CASECASE-2007-ZuHT #coordination #generative #linear #programming #using
Trajectory Generation in Relative Velocity Coordinates Using Mixed Integer Linear Programming with IHDR Guidance (DZ, JH, DT), pp. 1125–1130.
CCCC-2007-NagarakatteG #linear #pipes and filters #programming #scheduling #using
Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation (SGN, RG), pp. 126–140.
DACDAC-2007-FangHC #algorithm #design #linear #programming
An Integer Linear Programming Based Routing Algorithm for Flip-Chip Design (JWF, CHH, YWC), pp. 606–611.
STOCSTOC-2007-Furer #multi #performance
Faster integer multiplication (MF), pp. 57–66.
STOCSTOC-2007-GuruswamiR
A 3-query PCP over integers (VG, PR), pp. 198–206.
SMTSMT-J-2006-KimJS #difference #finite #logic
Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.
CAVCAV-2007-BeckerDEK #constraints #linear #named
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals (BB, CD, JE, FK), pp. 307–310.
CIAACIAA-2006-Luttenberger #analysis #reachability #source code
Reachability Analysis of Procedural Programs with Affine Integer Arithmetic (ML), pp. 281–282.
CIKMCIKM-2006-Gkoulalas-DivanisV #approach #programming
An integer programming approach for frequent itemset hiding (AGD, VSV), pp. 748–757.
DACDAC-2006-AksoyCFM #constraints #linear #optimisation #programming #satisfiability #synthesis #using
Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming (LA, EACdC, PFF, JM), pp. 669–674.
CAVCAV-2006-Braverman #linear #source code #termination
Termination of Integer Linear Programs (MB), pp. 372–385.
ICSTSAT-2006-MorgadoMMM #modelling
Counting Models in Integer Domains (AM, PJM, VMM, JPMS), pp. 410–423.
ICALPICALP-2005-Wikstrom #on the
On the l-Ary GCD-Algorithm in Rings of Integers (DW), pp. 1189–1201.
ICMLICML-2005-RothY #linear #programming #random
Integer linear programming inference for conditional random fields (DR, WtY), pp. 736–743.
CCCC-2005-VerdoolaegeBBC #case study #experience #parametricity
Experiences with Enumeration of Integer Projections of Parametric Polytopes (SV, KB, MB, FC), pp. 91–105.
ICSTSAT-2005-SheiniS #linear #logic #satisfiability #scalability
A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic (HMS, KAS), pp. 241–256.
IFMIFM-2004-BeckertS #data type #refinement #verification
Software Verification with Integrated Data Type Refinement for Integer Arithmetic (BB, SS), pp. 207–226.
KRKR-2004-ZhangZ #problem #scheduling
An Improved Integer Local Search for Complex Scheduling Problems (WZ, XZ), pp. 692–700.
CCCC-2004-RedwineR
Widening Integer Arithmetic (KR, NR), pp. 232–249.
DACDAC-2004-DeleganesBGKSW #logic
Low voltage swing logic circuits for a Pentium 4 processor integer core (DJD, MB, GG, KK, APS, SW), pp. 678–680.
FoSSaCSFoSSaCS-2004-Demri #constraints #ltl
LTL over Integer Periodicity Constraints: (SD), pp. 121–135.
IJCARIJCAR-2004-Subramani #quantifier #source code
Analyzing Selected Quantified Integer Programs (KS), pp. 342–356.
IJCARIJCAR-2004-ZhangSM #constraints #data type #recursion
Decision Procedures for Recursive Data Structures with Integer Constraints (TZ, HBS, ZM), pp. 152–167.
LICSLICS-2004-Latour #automaton
From Automata to Formulas: Convex Integer Polyhedra (LL), pp. 120–129.
DACDAC-2003-BozorgzadehGTS #graph
Optimal integer delay budgeting on directed acyclic graphs (EB, SG, AT, MS), pp. 920–925.
STOCSTOC-2003-SauerhoffW #bound #graph #multi #trade-off
Time-space tradeoff lower bounds for integer multiplication and graphs of arithmetic functions (MS, PW), pp. 186–195.
STOCSTOC-2003-Thorup #constant #problem
Integer priority queues with decrease key in constant time and the single source shortest paths problem (MT), pp. 149–158.
ICPRICPR-v2-2002-MielikainenK #image #multi
Improved Back End for Integer PCA and Wavelet Transforms for Lossless Compression of Multispectral Images (JM, AK), pp. 257–260.
DACDAC-2002-KadayifKS #approach #linear #multi #programming
An integer linear programming based approach for parallelizing applications in On-chip multiprocessors (IK, MTK, US), pp. 703–708.
DACDAC-2002-MegerianDP #linear #programming
Watermarking integer linear programming solutions (SM, MD, MP), pp. 8–13.
DATEDATE-2002-KhomenkoKY #detection #programming #using
Detecting State Coding Conflicts in STGs Using Integer Programming (VK, MK, AY), pp. 338–345.
CADECADE-2002-Zarba #multi
Combining Multisets with Integers (CGZ), pp. 363–376.
ICTSSTestCom-2002-WilliamsP #interactive #problem #test coverage
Formulation of the Interaction Test Coverage Problem as an Integer Program (AWW, RLP), p. 283–?.
DLTDLT-2001-Harju #matrix
Decision Questions on Integer Matrices (TH), pp. 57–68.
ICALPICALP-2001-BorosEGKM #generative #linear #on the
On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities (EB, KME, VG, LK, KM), pp. 92–103.
CIKMCIKM-2001-ChoHLP #using
Dynamic and Hierarchical Spatial Access Method using Integer Searching (KC, YH, YL, EKP), pp. 341–348.
SASSAS-2001-DorRS #analysis #c #source code #string
Cleanness Checking of String Manipulations in C Programs via Integer Analysis (ND, MR, SS), pp. 194–212.
ASEASE-2001-SyD #automation #float #generative #source code #testing
Automatic Test Data Generation for Programs with Integer and Float Variables (NTS, YD), pp. 13–21.
DATEDATE-2001-YildizSV #bias #float #linear #programming
Minimizing the number of floating bias voltage sources with integer linear programming (EY, AvS, CJMV), p. 816.
STOCSTOC-2001-BolligW #bound #branch #multi #using
A read-once branching program lower bound of Ω(2n/4) for integer multiplication using universal (BB, PW), pp. 419–424.
STOCSTOC-2001-BorgsCP #clustering #problem #scalability
Sharp threshold and scaling window for the integer partitioning problem (CB, JTC, BP), pp. 330–336.
IJCARIJCAR-2001-BoigelotJW #automaton #linear #on the #using
On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables (BB, SJ, PW), pp. 611–625.
ICPRICPR-v3-2000-HaoS #case study #comparative #image
Comparative Study of Color Transforms for Image Coding and Derivation of Integer Reversible Color Transform (PH, QYS), pp. 3228–3231.
PLDIPLDI-2000-WilkenLH #programming #scheduling #using
Optimal instruction scheduling using integer programming (KDW, JL, MH), pp. 121–133.
STOCSTOC-2000-Boneh #using
Finding smooth integers in short intervals using CRT decoding (DB), pp. 265–272.
STOCSTOC-2000-Fortune #matrix #symmetry
Exact computations of the inertia symmetric integer matrices (SF), pp. 556–564.
CCCC-1999-KastnerL #linear #optimisation #programming
Code Optimization by Integer Linear Programming (DK, ML), pp. 122–136.
ICALPICALP-1998-BoigelotRW #automaton #on the
On the Expressiveness of Real and Integer Arithmetic Automata (BB, SR, PW), pp. 152–163.
PLDIPLDI-1998-AdveM #optimisation #program analysis #set #using
Using Integer Sets for Data-Parallel Program Analysis and Optimization (VSA, JMMC), pp. 186–198.
PLDIPLDI-1998-SastryPS #execution #float
Exploiting Idle Floating-Point Resources for Integer Execution (SSS, SP, JES), pp. 118–129.
FoSSaCSFoSSaCS-1998-Heckmann #linear
The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations (RH), pp. 172–188.
ISSTAISSTA-1998-BultanGL #approach #constraints #verification
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach (TB, RG, CL), pp. 113–123.
STOCSTOC-1997-BuhlerSS #fourier #performance #precise #using
Fast and Precise Computations of Discrete Fourier Transforms Using Cyclotomic Integers (JB, MAS, VS), pp. 40–47.
ICALPICALP-1996-AlonS #approximate #parallel #problem #programming
Improved Parallel Approximation of a Class of Integer Programming Programming Problems (NA, AS), pp. 562–573.
RTARTA-1996-Stuber #proving #theorem proving
Superposition Theorem Proving for Albelian Groups Represented as Integer Modules (JS), pp. 33–47.
KRKR-1996-SmirnovV #contest #performance #programming #representation
Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods (YVS, MMV), pp. 124–134.
ESOPESOP-1996-MelzerE #programming
Checking System Properties via Integer Programming (SM, JE), pp. 250–264.
ESOPESOP-1996-Seidl #constraints #deforestation
Integer Constraints to Stop Deforestation (HS), pp. 326–340.
RTARTA-1995-WaltersZ #term rewriting
Rewrite Systems for Integer Arithmetic (HRW, HZ), pp. 324–338.
STOCSTOC-1995-Ponzio #bound #branch #multi #source code
A lower bound for integer multiplication with read-once branching programs (SP), pp. 130–139.
PLDIPLDI-1994-GranlundM #invariant #multi #using
Division by Invariant Integers using Multiplication (TG, PLM), pp. 61–72.
CADECADE-1994-Hines
Str+ve and Integers (LMH), pp. 416–430.
ICLPILPS-1994-TomanCR #constraints #datalog
Datalog with Integer Periodicity Constraints (DT, JC, DSR), pp. 189–203.
ICALPICALP-1992-Hagerup #performance
Fast Integer Merging on the EREW PRAM (TH), pp. 318–329.
CAVCAV-1992-Corbett #liveness #programming #safety #verification
Verifying General Safety and Liveness Propterties with Integer Programming (JCC), pp. 357–369.
STOCSTOC-1991-Adleman #using
Factoring Numbers Using Singular Integers (LMA), pp. 64–71.
STOCSTOC-1991-Hagerup #parallel #sorting
Constant-Time Parallel Integer Sorting (TH), pp. 299–306.
CAVCAV-1991-AvruninBC #analysis #concurrent #programming
Integer Programming in the Analysis of Concurrent Systems (GSA, UAB, JCC), pp. 92–102.
ICALPICALP-1990-MatiasV #on the #parallel #sorting
On Parallel Hashing and Integer Sorting (YM, UV), pp. 729–743.
STOCSTOC-1989-ReifT
Optimal Size Integer Division Circuits (JHR, SRT), pp. 264–273.
STOCSTOC-1989-Vallee #performance #polynomial
Provably Fast Integer Factoring with Quasi-Uniform Small Quadratic Residues (BV), pp. 98–106.
LICSLICS-1989-Lubarsky #set
μ-Definable Sets of Integers (RSL), pp. 343–352.
ICALPICALP-1987-PazS #approximate
Approximating Integer Lattices by Lattices with Cyclic Factor Groups (AP, CPS), pp. 386–393.
ASPLOSASPLOS-1987-MagenheimerPPZ #architecture #multi #precise
Integer Multiplication and Division on the HP Precision Architecture (DJM, LP, KP, DZ), pp. 90–99.
LICSLICS-1986-PerrinS #automaton #decidability #equivalence #monad
Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories (DP, PES), pp. 301–304.
STOCSTOC-1985-AharoniEL #linear #source code
Dual Integer Linear Programs and the Relationship between their Optima (RA, PE, NL), pp. 476–483.
ICALPICALP-1984-MehlhornP #multi
Area-Time Optimal VLSI Integer Multiplier with Minimum Computation Time (KM, FPP), pp. 347–357.
ICALPICALP-1984-Schonhage #algorithm #reduction
Factorization of Univariate Integer Polynomials by Diophantine Aproximation and an Improved Basis Reduction Algorithm (AS), pp. 436–447.
STOCSTOC-1983-Bach #how #random
How to Generate Random Integers with Known Factorization (EB), pp. 184–188.
STOCSTOC-1983-Kannan #algorithm #problem #programming
Improved Algorithms for Integer Programming and Related Lattice Problems (RK), pp. 193–206.
ICALPICALP-1981-PreparataV #fourier #multi #network
Area-Time Optimal VLSI Networks for Computing Integer Multiplications and Discrete Fourier Transform (FPP, JV), pp. 29–40.
ICALPICALP-1980-Alt #multi
Functions Equivalent to Integer Multiplication (HA), pp. 30–37.
ICALPICALP-1979-SavageS #multi #trade-off
Space-Time Tradeoffs for Oblivious Integer Multiplications (JES, SS), pp. 498–504.
ICALPICALP-1976-Galil #on the #programming #proving #theorem proving
On Enumeration Procedures for Theorem Proving and for Integer Programming (ZG), pp. 355–381.
STOCSTOC-1975-LiptonD #complexity #evaluation #metric
Complexity Measures and Hierarchies for the Evaluation of Integers, Polynomials, and n-linear Forms (RJL, DPD), pp. 1–5.
DACDAC-1974-WeberS #algorithm
An integer arithmetic path expansion algorithm (TAW, DGS), pp. 62–69.
STOCSTOC-1973-FischerS #multi #online #performance
Fast On-Line Integer Multiplication (MJF, LJS), pp. 67–72.
STOCSTOC-1970-KingF #proving #theorem proving
An Interpretation Oriented Theorem Prover over Integers (JCK, RWF), pp. 169–179.
DACSHARE-1966-Breuer #automation #design #programming
The application of integer programming in design automation (MAB).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.