180 papers:
CASE-2015-KamraA #integer #multi #programming- A mixed integer programming model for timed deliveries in multirobot systems (NK, NA), pp. 612–617.
CASE-2015-KouiderHOO #approach #graph #integer #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.
CASE-2015-LyuWC #algorithm #heuristic #integer #programming- Mixed integer programming model and heuristic algorithm for production planning of continuous casting and hot rolling (ML, ZW, FTSC), pp. 1503–1508.
CASE-2015-ProdelAXJL #database #integer #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.
DAC-2015-TziantzioulisGF #correlation #fault #float #integer #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.
DAC-2015-ZolotovF #integer #linear #programming- Variation aware cross-talk aggressor alignment by mixed integer linear programming (VZ, PF), p. 6.
PLDI-2015-KangHMGZV #c #memory management- A formal C memory model supporting integer-pointer casts (JK, CKH, WM, DG, SZ, VV), pp. 326–335.
SAS-2015-GargR #integer #linear #programming- Synthesizing Heap Manipulations via Integer Linear Programming (AG, SR), pp. 109–127.
STOC-2015-ChanL #clustering #combinator #integer- Clustered Integer 3SUM via Additive Combinatorics (TMC, ML), pp. 31–40.
ICALP-v1-2015-BodirskyMM #constraints #integer #problem- Constraint Satisfaction Problems over the Integers with Successor (MB, BM, AM), pp. 256–267.
SEKE-2015-SunSWZ #analysis #data flow #detection #fault #integer #using- Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis (HS, CS, YW, QZ), pp. 601–606.
ASPLOS-2015-Sidiroglou-Douskos #automation #branch #integer #using- Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (SSD, EL, NR, PP, FL, DK, MCR), pp. 473–486.
CADE-2015-Bromberger0W #integer #linear #revisited- Linear Integer Arithmetic Revisited (MB, TS, CW), pp. 623–637.
CADE-2015-Passmore #algebra #decidability #integer- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (GOP), pp. 181–196.
CASE-2014-XuLYM #integer #probability #programming- A mixed integer programming model for Bed planning considering stochastic length of stay (LX, NL, XY, FM), pp. 1069–1074.
TACAS-2014-BrockschmidtEFFG #analysis #complexity #integer #runtime #source code- Alternating Runtime and Size Complexity Analysis of Integer Programs (MB, FE, SF, CF, JG), pp. 140–155.
FLOPS-2014-HoffmannS #analysis #array #integer #type system- Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.
POPL-2014-LongSKR #fault #generative #integer- Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.
SMT-2014-KingBT #integer #linear #programming #smt- Leveraging Linear and Mixed Integer Programming for SMT (TK, CB, CT), p. 65.
VMCAI-2014-BozgaIK #integer #problem #safety #source code- Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (MB, RI, FK), pp. 242–261.
VMCAI-2014-Romano #float #integer #testing- Practical Floating-Point Tests with Integer Code (AR), pp. 337–356.
CASE-2013-LiF #approach #integer #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.
CASE-2013-SilvaCTS #automation #linear #optimisation #programming- A mixed-integer linear programming model for automatic routing decisions in oil production optimization (TLS, EC, AFT, SS), pp. 280–285.
VLDB-2013-KolaitisPT #consistency #database #integer #performance #programming #query- Efficient Querying of Inconsistent Databases with Binary Integer Programming (PGK, EP, WCT), pp. 397–408.
TACAS-2013-GantyIK #approximate #integer #source code #summary- Underapproximation of Procedure Summaries for Integer Programs (PG, RI, FK), pp. 245–259.
TACAS-2013-JovanovicLR #automaton #integer #parametricity #synthesis- Integer Parameter Synthesis for Timed Automata (AJ, DL, OHR), pp. 401–415.
QAPL-2013-ArulR #complexity #game studies #integer- The Complexity of Robot Games on the Integer Line (AA, JR), pp. 132–148.
POPL-2013-Ben-AmramG #constraints #integer #linear #on the #problem #ranking- On the linear ranking problem for integer linear-constraint loops (AMBA, SG), pp. 51–62.
ICSE-2013-CokerH #c #integer #program transformation- Program transformations to fix C integers (ZC, MH), pp. 792–801.
CGO-2013-RodriguesCP #integer #performance #source code- A fast and low-overhead technique to secure programs against integer overflows (RER, VHSC, FMQP), p. 11.
DAC-2012-ShojaeiDR #integer #programming- Confidentiality preserving integer programming for global routing (HS, AD, PR), pp. 709–716.
SAS-2012-AbdullaACLR #abstraction #automation #integer #source code- Automatic Fence Insertion in Integer Programs via Predicate Abstraction (PAA, MFA, YFC, CL, AR), pp. 164–180.
FLOPS-2012-MartinFS #eclipse #integer #set- Extending the TOY System with the ECLiPSe Solver over Sets of Integers (SEM, JCF, FSP), pp. 120–135.
ICALP-v1-2012-GuptaN #approximate #integer #online #source code- Approximating Sparse Covering Integer Programs Online (AG, VN), pp. 436–448.
CIKM-2012-ZhangWH #integer #linear #programming #set- Selecting expansion terms as a set via integer linear programming (QZ, YW, XH), pp. 2399–2402.
ICPR-2012-GuiLY #integer #novel #performance- A novel integer transform for efficient reversible watermarking (XG, XL, BY), pp. 947–950.
KR-2012-LiuJN #integer #programming #set- Answer Set Programming via Mixed Integer Programming (GL, TJ, IN).
SAC-2012-OSullivanWL #design #integer #using- Designing data storage tier using Integer Programing (MJO, CGW, DL), pp. 426–433.
ICSE-2012-DietzLRA #c #c++ #comprehension #integer- Understanding integer overflow in C/C++ (WD, PL, JR, VSA), pp. 760–770.
OSDI-2012-WangCJZK #integer #security- Improving Integer Security for Systems with KINT (XW, HC, ZJ, NZ, MFK), pp. 163–177.
IJCAR-2012-BobotCCIMMM #integer #linear- A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic (FB, SC, EC, MI, AM, AM, GM), pp. 67–81.
VMCAI-2012-Ben-AmramGM #integer #on the #termination- On the Termination of Integer Loops (AMBA, SG, ANM), pp. 72–87.
CASE-2011-AnghinolfiPSS #integer #optimisation #programming- Integer programming and ant colony optimization for planning intermodal freight transportation operations (DA, MP, SS, SS), pp. 214–219.
CASE-2011-DingRGS #programming- Mixed-integer programming for optimal path planning of robotic manipulators (HD, GR, DG, OS), pp. 133–138.
TACAS-2011-GriggioLS #generative #integer #linear #performance #satisfiability- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.
SAS-2011-VerdoolaegeCB #approximate #integer #transitive #tuple- Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations (SV, AC, AB), pp. 216–232.
ICALP-v1-2011-CliffordJ #bound #integer #multi #online- Lower Bounds for Online Integer Multiplication and Convolution in the Cell-Probe Model (RC, MJ), pp. 593–604.
LATA-2011-RigoV #complexity #integer #set- Syntactic Complexity of Ultimately Periodic Sets of Integers (MR, ÉV), pp. 477–488.
ICEIS-v2-2011-Moghadampour11a #adaptation #algorithm #integer #search-based #self- Self-adaptive Integer and Decimal Mutation Operators for Genetic Algorithms (GM), pp. 184–191.
CADE-2011-JovanovicM #integer #linear- Cutting to the Chase Solving Linear Integer Arithmetic (DJ, LMdM), pp. 338–353.
ICLP-J-2011-CodishGBFG #analysis #constraints #integer #satisfiability #termination #using- SAT-based termination analysis using monotonicity constraints over the integers (MC, IG, AMBA, CF, JG), pp. 503–520.
ICLP-J-2011-VoetsS #analysis #integer #logic programming #source code- Non-termination analysis of logic programs with integer arithmetics (DV, DDS), pp. 521–536.
DAC-2010-WuDL #approach #integer #parallel #programming- A parallel integer programming approach to global routing (THW, AD, JTL), pp. 194–199.
PLDI-2010-Loitsch #float #integer- Printing floating-point numbers quickly and accurately with integers (FL), pp. 233–243.
SEFM-2010-BersaniCFPR #constraints #integer #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.
CIKM-2010-SilvestriV #encoding #integer #named #performance #programming- VSEncoding: efficient coding and fast decoding of integer lists via dynamic programming (FS, RV), pp. 1219–1228.
ICPR-2010-Yanagisawa #integer #programming- An Offline Map Matching via Integer Programming (HY), pp. 4206–4209.
RE-2010-SalinesiMDD #constraints #integer #requirements #reuse #theorem proving #using- Using Integer Constraint Solving in Reuse Based Requirements Engineering (CS, RM, DD, OD), pp. 243–251.
IJCAR-2010-BensaidCP #graph #integer- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (HB, RC, NP), pp. 369–383.
RTA-2010-NeurauterM #integer #polynomial- Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers (FN, AM), pp. 243–258.
DAC-2009-WuDL #3d #integer #named #programming #scalability #using- GRIP: scalable 3D global routing using integer programming (THW, AD, JTL), pp. 320–325.
ICDAR-2009-BodicLAHLK #detection #graph #integer #linear #programming #using- Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming (PLB, HL, SA, PH, YL, AK), pp. 1320–1324.
TACAS-2009-NicoliniRR #integer #satisfiability- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (EN, CR, MR), pp. 428–442.
LATA-2009-Bollig #bound #complexity #integer #multi- Larger Lower Bounds on the OBDD Complexity of Integer Multiplication (BB), pp. 212–223.
LATA-2009-SumanP #automaton #integer- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions (PVS, PKP), pp. 728–739.
SEFM-2009-BresolinGMS #constraints #integer #logic- Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths (DB, VG, AM, GS), pp. 240–249.
CADE-2009-BensaidCP #integer #named #proving #theorem proving- Dei: A Theorem Prover for Terms with Integer Exponents (HB, RC, NP), pp. 146–150.
CAV-2009-BozgaHIKV #array #automation #integer #source code #verification- Automatic Verification of Integer Array Programs (MB, PH, RI, FK, TV), pp. 157–172.
CAV-2009-DilligDA #integer #linear #proving- Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers (ID, TD, AA), pp. 233–247.
CAV-2009-KitchenK #constraints #integer #markov #monte carlo- A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints (NK, AK), pp. 446–461.
ICLP-2009-Li #algorithm #constraints #difference #functional #integer #research #summary- Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality (CL), pp. 530–531.
ISSTA-2009-ZhangHGXM #integer #linear #programming #testing #using- Time-aware test-case prioritization using integer linear programming (LZ, SSH, CG, TX, HM), pp. 213–224.
RTA-2009-FuhsGPSF #integer #proving #term rewriting #termination- Proving Termination of Integer Term Rewriting (CF, JG, MP, PSK, SF), pp. 32–47.
DATE-2008-Parandeh-AfsharBI #integer #linear #programming #synthesis- Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming (HPA, PB, PI), pp. 1256–1261.
FoSSaCS-2008-HabermehlIV #array #decidability #integer #question #what- What Else Is Decidable about Integer Arrays? (PH, RI, TV), pp. 474–489.
STOC-2008-DeKSS #composition #integer #multi #performance #using- Fast integer multiplication using modular arithmetic (AD, PPK, CS, RS), pp. 499–506.
FLOPS-2008-Julien #induction #integer #using- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (NJ), pp. 48–63.
ICALP-A-2008-AzarG #framework #integer #source code #unification- Truthful Unification Framework for Packing Integer Programs with Choices (YA, IG), pp. 833–844.
ICALP-C-2008-AltmannJR #black box #integer #on the- On Black-Box Ring Extraction and Integer Factorization (KA, TJ, AR), pp. 437–448.
CSL-2008-Eisinger #automaton #bound #integer #linear- Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) (JE), pp. 431–445.
VMCAI-2008-BagnaraHZ #algorithm #constraints #integer- An Improved Tight Closure Algorithm for Integer Octagonal Constraints (RB, PMH, EZ), pp. 8–21.
CASE-2007-ZuHT #coordination #generative #integer #linear #programming #using- Trajectory Generation in Relative Velocity Coordinates Using Mixed Integer Linear Programming with IHDR Guidance (DZ, JH, DT), pp. 1125–1130.
DAC-2007-FangHC #algorithm #design #integer #linear #programming- An Integer Linear Programming Based Routing Algorithm for Flip-Chip Design (JWF, CHH, YWC), pp. 606–611.
ICDAR-2007-GaoWHD #documentation #image #integer #linear #programming #using- Decompose Document Image Using Integer Linear Programming (DG, YW, HH, MD), pp. 397–401.
SAS-2007-SimonK #integer- Taming the Wrapping of Integer Arithmetic (AS, AK), pp. 121–136.
STOC-2007-Furer #integer #multi #performance- Faster integer multiplication (MF), pp. 57–66.
STOC-2007-GuruswamiR #integer- A 3-query PCP over integers (VG, PR), pp. 198–206.
SAC-2007-FeydyS #equation #integer #linear- Propagating dense systems of integer linear equations (TF, PJS), pp. 306–310.
CC-2007-NagarakatteG #integer #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.
SMT-J-2006-KimJS07 #difference #finite #integer #logic- Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.
CAV-2007-BeckerDEK #constraints #integer #linear #named- LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals (BB, CD, JE, FK), pp. 307–310.
DAC-2006-AksoyCFM #constraints #integer #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.
CIAA-2006-Luttenberger #analysis #integer #reachability #source code- Reachability Analysis of Procedural Programs with Affine Integer Arithmetic (ML), pp. 281–282.
CIKM-2006-Gkoulalas-DivanisV #approach #integer #programming- An integer programming approach for frequent itemset hiding (AGD, VSV), pp. 748–757.
ICPR-v3-2006-HuangL #image #using- A Secret Image Sharing Method Using Integer-to-Integer Wavelet Transform (CPH, CCL), pp. 802–805.
CAV-2006-Braverman #integer #linear #source code #termination- Termination of Integer Linear Programs (MB), pp. 372–385.
IJCAR-2006-Chaieb #quantifier #verification- Verifying Mixed Real-Integer Quantifier Elimination (AC), pp. 528–540.
SAT-2006-MorgadoMMM #integer #modelling- Counting Models in Integer Domains (AM, PJM, VMM, JPMS), pp. 410–423.
DLT-2005-ElkharratF- Voronoi Cells of β-Integers (AE, CF), pp. 209–223.
ICALP-2005-Wikstrom #integer #on the- On the l-Ary GCD-Algorithm in Rings of Integers (DW), pp. 1189–1201.
ICML-2005-RothY #integer #linear #programming #random- Integer linear programming inference for conditional random fields (DR, WtY), pp. 736–743.
CC-2005-VerdoolaegeBBC #case study #experience #integer #parametricity- Experiences with Enumeration of Integer Projections of Parametric Polytopes (SV, KB, MB, FC), pp. 91–105.
SAT-2005-SheiniS #integer #linear #logic #satisfiability #scalability- A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic (HMS, KAS), pp. 241–256.
DAC-2004-DeleganesBGKSW #integer #logic- Low voltage swing logic circuits for a Pentium 4 processor integer core (DJD, MB, GG, KK, APS, SW), pp. 678–680.
FoSSaCS-2004-Demri #constraints #integer #ltl- LTL over Integer Periodicity Constraints: (Extended Abstract) (SD), pp. 121–135.
IFM-2004-BeckertS #data type #integer #refinement #verification- Software Verification with Integrated Data Type Refinement for Integer Arithmetic (BB, SS), pp. 207–226.
KR-2004-ZhangZ #integer #problem #scheduling- An Improved Integer Local Search for Complex Scheduling Problems (WZ, XZ), pp. 692–700.
CC-2004-RedwineR #integer- Widening Integer Arithmetic (KR, NR), pp. 232–249.
IJCAR-2004-Subramani #integer #quantifier #source code- Analyzing Selected Quantified Integer Programs (KS), pp. 342–356.
IJCAR-2004-ZhangSM #constraints #data type #integer #recursion- Decision Procedures for Recursive Data Structures with Integer Constraints (TZ, HBS, ZM), pp. 152–167.
LICS-2004-Latour #automaton #integer- From Automata to Formulas: Convex Integer Polyhedra (LL), pp. 120–129.
DAC-2003-BozorgzadehGTS #graph #integer- Optimal integer delay budgeting on directed acyclic graphs (EB, SG, AT, MS), pp. 920–925.
TACAS-2003-BerezinGD #linear #online- An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic (SB, VG, DLD), pp. 521–536.
STOC-2003-SauerhoffW #bound #graph #integer #multi #trade-off- Time-space tradeoff lower bounds for integer multiplication and graphs of arithmetic functions (MS, PW), pp. 186–195.
STOC-2003-Thorup #constant #integer #problem- Integer priority queues with decrease key in constant time and the single source shortest paths problem (MT), pp. 149–158.
CSL-2003-RybinaV #infinity #model checking #performance- Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture) (TR, AV), pp. 546–573.
DAC-2002-KadayifKS #approach #integer #linear #multi #programming- An integer linear programming based approach for parallelizing applications in On-chip multiprocessors (IK, MTK, US), pp. 703–708.
DAC-2002-MegerianDP #integer #linear #programming- Watermarking integer linear programming solutions (SM, MD, MP), pp. 8–13.
DATE-2002-KhomenkoKY #detection #integer #programming #using- Detecting State Coding Conflicts in STGs Using Integer Programming (VK, MK, AY), pp. 338–345.
ICPR-v2-2002-MielikainenK #image #integer #multi- Improved Back End for Integer PCA and Wavelet Transforms for Lossless Compression of Multispectral Images (JM, AK), pp. 257–260.
CADE-2002-Zarba #integer #multi- Combining Multisets with Integers (CGZ), pp. 363–376.
TestCom-2002-WilliamsP #integer #interactive #problem #test coverage- Formulation of the Interaction Test Coverage Problem as an Integer Program (AWW, RLP), p. 283–?.
ASE-2001-SyD #automation #float #generative #integer #source code #testing- Automatic Test Data Generation for Programs with Integer and Float Variables (NTS, YD), pp. 13–21.
DATE-2001-YildizSV #bias #float #integer #linear #programming- Minimizing the number of floating bias voltage sources with integer linear programming (EY, AvS, CJMV), p. 816.
SAS-2001-DorRS #analysis #c #integer #source code #string- Cleanness Checking of String Manipulations in C Programs via Integer Analysis (ND, MR, SS), pp. 194–212.
STOC-2001-BolligW #bound #branch #integer #multi #using- A read-once branching program lower bound of Ω(2n/4) for integer multiplication using universal (BB, PW), pp. 419–424.
STOC-2001-BorgsCP #clustering #integer #problem #scalability- Sharp threshold and scaling window for the integer partitioning problem (CB, JTC, BP), pp. 330–336.
DLT-2001-Harju #integer #matrix- Decision Questions on Integer Matrices (TH), pp. 57–68.
ICALP-2001-BorosEGKM #generative #integer #linear #on the- On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities (EB, KME, VG, LK, KM), pp. 92–103.
CIKM-2001-ChoHLP #integer #using- Dynamic and Hierarchical Spatial Access Method using Integer Searching (KC, YH, YL, EKP), pp. 341–348.
IJCAR-2001-BoigelotJW #automaton #integer #linear #on the- On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables (BB, SJ, PW), pp. 611–625.
PLDI-2000-WilkenLH #integer #programming #scheduling #using- Optimal instruction scheduling using integer programming (KDW, JL, MH), pp. 121–133.
STOC-2000-Boneh #integer #using- Finding smooth integers in short intervals using CRT decoding (DB), pp. 265–272.
STOC-2000-Fortune #integer #matrix #symmetry- Exact computations of the inertia symmetric integer matrices (SF), pp. 556–564.
ICPR-v3-2000-HaoS #case study #comparative #image #integer- Comparative Study of Color Transforms for Image Coding and Derivation of Integer Reversible Color Transform (PH, QYS), pp. 3228–3231.
ICSM-1999-LapierreMSAFT #automation #execution #generative #linear #programming #testing #using- Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees (SL, EM, GS, GA, RF, PT), pp. 189–198.
CC-1999-KastnerL #integer #linear #optimisation #programming- Code Optimization by Integer Linear Programming (DK, ML), pp. 122–136.
FoSSaCS-1998-Heckmann #integer #linear- The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations (RH), pp. 172–188.
PLDI-1998-AdveM #integer #optimisation #program analysis #set #using- Using Integer Sets for Data-Parallel Program Analysis and Optimization (VSA, JMMC), pp. 186–198.
PLDI-1998-SastryPS #execution #float #integer- Exploiting Idle Floating-Point Resources for Integer Execution (SSS, SP, JES), pp. 118–129.
ICALP-1998-BoigelotRW #automaton #integer #on the- On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract) (BB, SR, PW), pp. 152–163.
ISSTA-1998-BultanGL #approach #constraints #integer #verification- Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach (TB, RG, CL), pp. 113–123.
STOC-1997-BuhlerSS #fourier #integer #performance #precise #using- Fast and Precise Computations of Discrete Fourier Transforms Using Cyclotomic Integers (JB, MAS, VS), pp. 40–47.
ESOP-1996-MelzerE #integer #programming- Checking System Properties via Integer Programming (SM, JE), pp. 250–264.
ESOP-1996-Seidl #constraints #deforestation #integer- Integer Constraints to Stop Deforestation (HS), pp. 326–340.
ICALP-1996-AlonS #approximate #integer #parallel #problem #programming- Improved Parallel Approximation of a Class of Integer Programming Programming Problems (NA, AS), pp. 562–573.
KR-1996-SmirnovV #contest #integer #performance #programming #representation- Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods (YVS, MMV), pp. 124–134.
RTA-1996-Stuber #integer #proving #theorem proving- Superposition Theorem Proving for Albelian Groups Represented as Integer Modules (JS), pp. 33–47.
STOC-1995-Ponzio #bound #branch #integer #multi #source code- A lower bound for integer multiplication with read-once branching programs (SP), pp. 130–139.
RTA-1995-WaltersZ #integer #term rewriting- Rewrite Systems for Integer Arithmetic (HRW, HZ), pp. 324–338.
PLDI-1994-GranlundM #integer #invariant #multi #using- Division by Invariant Integers using Multiplication (TG, PLM), pp. 61–72.
CADE-1994-Hines #integer- Str+ve and Integers (LMH), pp. 416–430.
ILPS-1994-TomanCR #constraints #datalog #integer- Datalog with Integer Periodicity Constraints (DT, JC, DSR), pp. 189–203.
DAC-1992-MaulikCR #approach #programming #synthesis- A Mixed-Integer Nonlinear Programming Approach to Analog Circuit Synthesis (PCM, LRC, RAR), pp. 698–703.
ICALP-1992-Hagerup #integer #performance- Fast Integer Merging on the EREW PRAM (TH), pp. 318–329.
CAV-1992-Corbett #integer #liveness #programming #safety #verification- Verifying General Safety and Liveness Propterties with Integer Programming (JCC), pp. 357–369.
STOC-1991-Adleman #integer #using- Factoring Numbers Using Singular Integers (LMA), pp. 64–71.
STOC-1991-Hagerup #integer #parallel #sorting- Constant-Time Parallel Integer Sorting (Extended Abstract) (TH), pp. 299–306.
CAV-1991-AvruninBC #analysis #concurrent #integer #programming- Integer Programming in the Analysis of Concurrent Systems (GSA, UAB, JCC), pp. 92–102.
ICALP-1990-MatiasV #integer #on the #parallel #sorting #summary- On Parallel Hashing and Integer Sorting (Extended Summary) (YM, UV), pp. 729–743.
STOC-1989-ReifT #integer- Optimal Size Integer Division Circuits (JHR, SRT), pp. 264–273.
STOC-1989-Vallee #integer #performance #polynomial- Provably Fast Integer Factoring with Quasi-Uniform Small Quadratic Residues (BV), pp. 98–106.
LICS-1989-Lubarsky #integer #set- μ-Definable Sets of Integers (RSL), pp. 343–352.
ICALP-1987-PazS #approximate #integer- Approximating Integer Lattices by Lattices with Cyclic Factor Groups (AP, CPS), pp. 386–393.
ASPLOS-1987-MagenheimerPPZ #architecture #integer #multi #precise- Integer Multiplication and Division on the HP Precision Architecture (DJM, LP, KP, DZ), pp. 90–99.
LICS-1986-PerrinS #automaton #decidability #equivalence #integer #monad- Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories (DP, PES), pp. 301–304.
STOC-1985-AharoniEL #integer #linear #source code- Dual Integer Linear Programs and the Relationship between their Optima (RA, PE, NL), pp. 476–483.
ICALP-1984-MehlhornP #integer #multi- Area-Time Optimal VLSI Integer Multiplier with Minimum Computation Time (KM, FPP), pp. 347–357.
ICALP-1984-Schonhage #algorithm #integer #reduction- Factorization of Univariate Integer Polynomials by Diophantine Aproximation and an Improved Basis Reduction Algorithm (AS), pp. 436–447.
STOC-1983-Bach #how #integer #random- How to Generate Random Integers with Known Factorization (EB), pp. 184–188.
STOC-1983-Kannan #algorithm #integer #problem #programming- Improved Algorithms for Integer Programming and Related Lattice Problems (RK), pp. 193–206.
ICALP-1981-PreparataV #fourier #integer #multi #network- Area-Time Optimal VLSI Networks for Computing Integer Multiplications and Discrete Fourier Transform (FPP, JV), pp. 29–40.
ICALP-1980-Alt #integer #multi- Functions Equivalent to Integer Multiplication (HA), pp. 30–37.
ICALP-1979-SavageS #integer #multi #trade-off- Space-Time Tradeoffs for Oblivious Integer Multiplications (JES, SS), pp. 498–504.
ICALP-1976-Galil #integer #on the #programming #proving #theorem proving- On Enumeration Procedures for Theorem Proving and for Integer Programming (ZG), pp. 355–381.
STOC-1975-LiptonD #complexity #evaluation #integer #metric- Complexity Measures and Hierarchies for the Evaluation of Integers, Polynomials, and n-linear Forms (RJL, DPD), pp. 1–5.
DAC-1974-WeberS #algorithm #integer- An integer arithmetic path expansion algorithm (TAW, DGS), pp. 62–69.
STOC-1973-FischerS #integer #multi #online #performance- Fast On-Line Integer Multiplication (MJF, LJS), pp. 67–72.
STOC-1970-KingF #integer #proving #theorem proving- An Interpretation Oriented Theorem Prover over Integers (JCK, RWF), pp. 169–179.
SHARE-1966-Breuer #automation #design #integer #programming- The application of integer programming in design automation (MAB).