24 citations · 38 across the 14 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.DS2015★ 1 cited
A Faster Pseudopolynomial Time Algorithm for Subset Sum
Konstantinos Koiliaris, Chao Xu
Given a multiset of positive integers and a target integer , the subset sum problem is to decide if there is a subset of that sums up to . We present a new divide…
physics.soc-ph2015
Marking Streets to Improve Parking Density
Chao Xu, Steven Skiena
Street parking spots for automobiles are a scarce commodity in most urban environments. The heterogeneity of car sizes makes it inefficient to rigidly define fixed-sized spots. Ins…
cs.DS2015★ 2 cited
Dealing With 4-Variables by Resolution: An Improved MaxSAT Algorithm
Jianer Chen, Chao Xu
We study techniques for solving the Maximum Satisfiability problem (MaxSAT). Our focus is on variables of degree 4. We identify cases for degree-4 variables and show how the resolu…