conftrace_

mixed integer programming

67 papers

Explore in graph

Also known as

MIP

Co-occurring keywords

branch and bound (119) combinatorial optimization (1039) neural network verification (106) mixed integer linear program (15) cutting plane (26) multi-agent system (1819) formal verification (284) adversarial robustness (1341) mixed integer linear programming (31) relu network (143)

Papers

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems IJCAI 2018
Efficient Equilibrium Testing under Adhesion and Anisotropy using Empirical Contact Force Models RSS 2017
Bayesian Network Learning via Topological Order JMLR 2017
Learning to Run Heuristics in Tree Search IJCAI 2017
What Players Do With the Ball: A Physically Constrained Interaction Modeling CVPR 2016
Solving Temporal Puzzles CVPR 2016
Assortment Optimization Under the Mallows model NIPS 2016
Class Consistent Multi-Modal Fusion With Binary Features CVPR 2015
Learning to Search in Branch and Bound Algorithms NIPS 2014
Video Classification using Semantic Concept Co-occurrences CVPR 2014
Reconstructing Evolving Tree Structures in Time Lapse Sequences CVPR 2014
Advances in Learning Bayesian Networks of Bounded Treewidth NIPS 2014
A Linear Approach to Matching Cuboids in RGBD Images CVPR 2013
Locality Preserving Feature Learning AISTATS 2012
Optimal Distributed Market-Based Planning for Multi-Agent Systems with Shared Resources AISTATS 2011
Learning to Locate Relative Outliers ACML 2011
MDPs with Non-Deterministic Policies NIPS 2008