Bilevel Programming for Pebbling Numbers of Lemke Graph Products

Authors: Pulaj, Jonad, Wood, Kenan, Yerger, Carl

Subject Terms: Mathematics - Combinatorics, Mathematics - Optimization and Control

Access URL: http://arxiv.org/abs/2411.19314

Distributed Agreement in the Arrovian Framework

Authors: Wood, Kenan, Mendes, Hammurabi, Pulaj, Jonad

Subject Terms: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Computer Science and Game Theory

Access URL: http://arxiv.org/abs/2409.04685

Optimal Multilevel Slashing for Blockchains

Authors: Wood, Kenan, Mendes, Hammurabi, Pulaj, Jonad

Subject Terms: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Discrete Mathematics, Mathematics - Probability

Access URL: http://arxiv.org/abs/2405.08135

Expiring Assets in Automated Market Makers

Authors: Wood, Kenan, Herlihy, Maurice, Mendes, Hammurabi, Pulaj, Jonad

Subject Terms: Quantitative Finance - Trading and Market Microstructure, Computer Science - Distributed, Parallel, and Cluster Computing

Access URL: http://arxiv.org/abs/2401.04289

Automating Weight Function Generation in Graph Pebbling

Authors: Flocco, Dominic, Pulaj, Jonad, Yerger, Carl

Subject Terms: Mathematics - Combinatorics, Computer Science - Discrete Mathematics

Access URL: http://arxiv.org/abs/2312.12618

Satisfiability Modulo Theories for Verifying MILP Certificates

Authors: Wood, Kenan, Zhou, Runtian, Wu, Haoze, Mendes, Hammurabi, Pulaj, Jonad

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2312.10420

Local Configurations in Union-Closed Families

Authors: Pulaj, Jonad, Wood, Kenan

Subject Terms: Mathematics - Combinatorics

Access URL: http://arxiv.org/abs/2301.01331

Using Skip Graphs for Increased NUMA Locality

Authors: Thomas, Samuel, Hayne, Roxana, Pulaj, Jonad, Mendes, Hammurabi

Source: 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) SBAC-PAD Computer Architecture and High Performance Computing (SBAC-PAD), 2020 IEEE 32nd International Symposium on. :157-166 Sep, 2020

Relation: 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)

On the Linear Ordering Problem and the Rankability of Data

Authors: Cameron, Thomas R., Charmot, Sebastian, Pulaj, Jonad

Subject Terms: Mathematics - Optimization and Control, Computer Science - Artificial Intelligence, 52B12, 90C09, 90C27, 90C35

Access URL: http://arxiv.org/abs/2104.05816

Automating weight function generation in graph pebbling

Authors: Flocco, Dominic, Pulaj, Jonad, Yerger, Carl

Source: In Discrete Applied Mathematics 15 April 2024 347:155-174

Diameter Polytopes of Feasible Binary Programs

Authors: Cameron, Thomas R., Charmot, Sebastian, Pulaj, Jonad

Subject Terms: Mathematics - Optimization and Control, Computer Science - Discrete Mathematics, Mathematics - Combinatorics

Access URL: http://arxiv.org/abs/2008.06844

Characterizing 3-Sets in Union-Closed Families

Authors: Pulaj, Jonad

Source: Experimental mathematics. 32(2):350-361

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100183915817.0x000001&indx=1&recIds=ETOCvdc_100183915817.0x000001

Characterizing 3-sets in Union-Closed Families

Authors: Pulaj, Jonad

Subject Terms: Mathematics - Combinatorics, Computer Science - Discrete Mathematics

Access URL: http://arxiv.org/abs/1903.02317

Using Skip Graphs for Increased NUMA Locality

Authors: Thomas, Samuel, Hayne, Ana, Pulaj, Jonad, Mendes, Hammurabi

Subject Terms: Computer Science - Distributed, Parallel, and Cluster Computing

Access URL: http://arxiv.org/abs/1902.06891

A Safe Computational Framework for Integer Programming applied to Chv\'atal's Conjecture

Authors: Eifler, Leon, Gleixner, Ambros, Pulaj, Jonad

Subject Terms: Mathematics - Combinatorics, Mathematics - Optimization and Control, 05-XX COMBINATORICS (For finite fields, see 11Txx), 90-XX OPERATIONS RESEARCH, MATHEMATICAL PROGRAMMING

Access URL: http://arxiv.org/abs/1809.01572

Using skip graphs for increased NUMA locality

Authors: Thomas, Samuel, Hayne, Roxana, Pulaj, Jonad, Mendes, Hammurabi

Source: Journal of parallel and distributed computing. 167:31-49

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100164933425.0x000001&indx=1&recIds=ETOCvdc_100164933425.0x000001

A hybrid primal heuristic for Robust Multiperiod Network Design

Authors: D'Andreagiovanni, Fabio, Krolikowski, Jonatan, Pulaj, Jonad

Source: Esparcia-Alc\'azar A., Mora A. (Eds), EvoApplications 2014: Applications of Evolutionary Computation, Springer LNCS vol. 8602, pp. 15-26, 2014

Subject Terms: Mathematics - Optimization and Control, Computer Science - Data Structures and Algorithms, Computer Science - Neural and Evolutionary Computing, Computer Science - Networking and Internet Architecture

Access URL: http://arxiv.org/abs/1704.06847

Cutting Planes for Families Implying Frankl's Conjecture

Authors: Pulaj, Jonad

Subject Terms: Mathematics - Combinatorics, Mathematics - Optimization and Control, 05D05, 90C05, 90C10

Access URL: http://arxiv.org/abs/1702.05947

An (MI)LP-based Primal Heuristic for 3-Architecture Connected Facility Location in Urban Access Network Design

Authors: D'Andreagiovanni, Fabio, Mett, Fabian, Pulaj, Jonad

Subject Terms: Mathematics - Optimization and Control, Computer Science - Artificial Intelligence, Computer Science - Networking and Internet Architecture

Access URL: http://arxiv.org/abs/1512.09354

New Conjectures for Union-Closed Families

Authors: Pulaj, Jonad, Raymond, Annie, Theis, Dirk

Subject Terms: Mathematics - Combinatorics, Mathematics - Optimization and Control

Access URL: http://arxiv.org/abs/1512.00083