Search results for "polyhedra"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Hang Si, Nadja Goerigk	On tetrahedralisations of generalised Chazelle polyhedra with interior Steiner points.	Comput. Aided Des.	2018	DBLP DOI BibTeX RDF
14	Hang Si, Nadja Goerigk	Generalised Bagemihl polyhedra and a tight bound on the number of interior Steiner points.	Comput. Aided Des.	2018	DBLP DOI BibTeX RDF
14	Tamás Király	Base polyhedra and the linking property.	J. Comb. Optim.	2018	DBLP DOI BibTeX RDF
14	Anna Becchi, Enea Zaffanella	A Direct Encoding for NNC Polyhedra.	CAV (1)	2018	DBLP DOI BibTeX RDF
14	Bernard Boigelot, Isabelle Mainz	Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces.	ATVA	2018	DBLP DOI BibTeX RDF
14	Alexey Bakhirkin, David Monniaux	Extending Constraint-Only Representation of Polyhedra with Boolean Constraints.	SAS	2018	DBLP DOI BibTeX RDF
14	Anna Becchi, Enea Zaffanella	An Efficient Abstract Domain for Not Necessarily Closed Polyhedra.	SAS	2018	DBLP DOI BibTeX RDF
14	Luis Garcia, Andres Gutierrez, Isaac Ruiz, Andrew Winslow	Vertex Unfoldings of Orthogonal Polyhedra: Positive, Negative, and Inconclusive Results.	CCCG	2018	DBLP BibTeX RDF
14	Khaled M. Elbassioni, Kazuhisa Makino	Enumerating Vertices of 0/1-Polyhedra associated with 0/1-Totally Unimodular Matrices.	SWAT	2018	DBLP DOI BibTeX RDF
14	Maria J. de la Puente, Pedro L. Claveria	Volume of Alcoved Polyhedra and Mahler Conjecture.	ISSAC	2018	DBLP DOI BibTeX RDF
14	Björn Beber	Improving interpolants of non-convex polyhedra with linear arithmetic and probably approximatley correct learning for bounded linear arrangements.		2018	RDF
14	Sanjeeb Dash, Oktay Günlük, Diego A. Morán R.	On the Polyhedrality of Closures of Multibranch Split Sets and Other Polyhedra with Bounded Max-Facet-Width.	SIAM J. Optim.	2017	DBLP DOI BibTeX RDF
14	Enea Zaffanella	On the Efficiency of Convex Polyhedra.	NSAD@SAS	2017	DBLP DOI BibTeX RDF
14	Kazuki Matsubara, Chie Nara	Continuous Flattening of α-Trapezoidal Polyhedra.	J. Inf. Process.	2017	DBLP DOI BibTeX RDF
14	Rui-Juan Jing, Marc Moreno Maza	The polyhedra library in maple.	ACM Commun. Comput. Algebra	2017	DBLP DOI BibTeX RDF
14	Nazife Ozdes Koca, Mehmet Koca	Regular and Irregular Chiral Polyhedra from Coxeter Diagrams via Quaternions.	Symmetry	2017	DBLP DOI BibTeX RDF
14	András Lengyel, Zsolt Gáspár, Tibor Tarnai	The Roundest Polyhedra with Symmetry Constraints.	Symmetry	2017	DBLP DOI BibTeX RDF
14	Mirela Damian, Erik D. Demaine, Robin Y. Flatland, Joseph O'Rourke	Unfolding Genus-2 Orthogonal Polyhedra with Linear Refinement.	Graphs Comb.	2017	DBLP DOI BibTeX RDF
14	Khaled M. Elbassioni, Kazuhisa Makino	Enumerating Vertices of $0/1$-Polyhedra associated with $0/1$-Totally Unimodular Matrices.	CoRR	2017	DBLP BibTeX RDF
14	Xavier Allamigeon, Ricardo D. Katz	A formalization of convex polyhedra based on the simplex method.	CoRR	2017	DBLP BibTeX RDF
14	Clément Ballabriga, Julien Forget, Giuseppe Lipari	Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra.	CoRR	2017	DBLP BibTeX RDF
14	Giuseppe Sellaroli	An algorithm to reconstruct convex polyhedra from their face normals and areas.	CoRR	2017	DBLP BibTeX RDF
14	Giovanni Viglietta	Optimally Guarding 2-Reflex Orthogonal Polyhedra by Reflex Edge Guards.	CoRR	2017	DBLP BibTeX RDF
14	Anna Becchi, Enea Zaffanella	A Conversion Procedure for NNC Polyhedra.	CoRR	2017	DBLP BibTeX RDF
14	Gennadiy Averkov, Jan Krümpelmann, Stefan Weltge	Notions of Maximality for Integral Lattice-Free Polyhedra: The Case of Dimension Three.	Math. Oper. Res.	2017	DBLP DOI BibTeX RDF
14	Ranita Biswas, Partha Bhowmick, Valentin E. Brimkov	On the polyhedra of graceful spheres and circular geodesics.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
14	Buyang Li, Weiwei Sun 0002	Maximal Lp analysis of finite element solutions for parabolic equations with nonsmooth coefficients in convex polyhedra.	Math. Comput.	2017	DBLP DOI BibTeX RDF
14	Yi-Jun Chang, Hsu-Chun Yen	Improved Algorithms for Grid-Unfolding Orthogonal Polyhedra.	Int. J. Comput. Geom. Appl.	2017	DBLP DOI BibTeX RDF
14	Leonardo Manuel Cabrer, Luca Spada	MV-algebras, infinite dimensional polyhedra, and natural dualities.	Arch. Math. Log.	2017	DBLP DOI BibTeX RDF
14	Undine Leopold	Vertex-Transitive Polyhedra of Higher Genus, I.	Discret. Comput. Geom.	2017	DBLP DOI BibTeX RDF
14	Viet Hung Nguyen, Michel Minoux, Dang Phuong Nguyen	Reduced-size formulations for metric and cut polyhedra in sparse graphs.	Networks	2017	DBLP DOI BibTeX RDF
14	Jurij Kovic	Classification of convex polyhedra by their rotational orbit Euler characteristic.	Ars Math. Contemp.	2017	DBLP DOI BibTeX RDF
14	Yan Gerard	About the Decidability of Polyhedral Separability in the Lattice ℤd - Recognizing Digital Polyhedra with a Prescribed Number of Faces.	J. Math. Imaging Vis.	2017	DBLP DOI BibTeX RDF
14	Gennadiy Averkov, Amitabh Basu, Joseph Paat	Approximation of Corner Polyhedra with Families of Intersection Cuts.	IPCO	2017	DBLP DOI BibTeX RDF
14	Danny Nguyen, Igor Pak	Enumeration of Integer Points in Projections of Unbounded Polyhedra.	IPCO	2017	DBLP DOI BibTeX RDF
14	Adrian Godde, Anne Remke	Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra.	EPEW	2017	DBLP DOI BibTeX RDF
14	Gagandeep Singh 0001, Markus Püschel, Martin T. Vechev	Fast polyhedra abstract domain.	POPL	2017	DBLP DOI BibTeX RDF
14	Silun Zhang, Fenghua He, Yiguang Hong, Xiaoming Hu 0001	Intrinsic formation control of regular polyhedra for reduced attitudes.	CDC	2017	DBLP DOI BibTeX RDF
14	Alexandre Maréchal, David Monniaux, Michaël Périn	Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming.	SAS	2017	DBLP DOI BibTeX RDF
14	Sriram Sankaranarayanan 0001, Mohamed Amin Ben Sassi	Template Polyhedra with a Twist.	SAS	2017	DBLP DOI BibTeX RDF
14	Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger	Counterexample-Guided Refinement of Template Polyhedra.	TACAS (1)	2017	DBLP DOI BibTeX RDF
14	Israel Aldana-Galván, Jose Luis Álvarez-Rebollar, Juan C. Catana-Salazar, Nestaly Marín-Nevárez, Erick Solís-Villarreal, Jorge Urrutia, Carlos Velarde	Beacon Coverage in Orthogonal Polyhedra.	CCCG	2017	DBLP BibTeX RDF
14	Yan Gérard	Recognition of Digital Polyhedra with a Fixed Number of Faces Is Decidable in Dimension 3.	DGCI	2017	DBLP DOI BibTeX RDF
14	Xavier Allamigeon, Ricardo D. Katz	A Formalization of Convex Polyhedra Based on the Simplex Method.	ITP	2017	DBLP DOI BibTeX RDF
14	Alexandre Maréchal, Michaël Périn	Efficient Elimination of Redundancies in Polyhedra by Raytracing.	VMCAI	2017	DBLP DOI BibTeX RDF
14	Kuan-Yi Ho, Yi-Jun Chang, Hsu-Chun Yen	Unfolding Some Classes of Orthogonal Polyhedra of Arbitrary Genus.	COCOON	2017	DBLP DOI BibTeX RDF
14	Youcef Magnouche	The multi-terminal vertex separator problem : Complexity, Polyhedra and Algorithms. (Le problème du séparateur de poids minimum : Complexité, Polyèdres et Algorithmes).		2017	RDF
14	Meriem Mahjoub	The Survivable Network Design Problems with High Node-Connectivity Constraints : Polyhedra and Algorithms. (Conception de réseaux fiables avec fortes contraintes de sommet-connexité : Étude polyédrale et Algorithmes).		2017	RDF
14	Viet Hung Nguyen, Michel Minoux, Dang Phuong Nguyen	Improved compact formulations for metric and cut polyhedra.	Electron. Notes Discret. Math.	2016	DBLP DOI BibTeX RDF
14	Ian Gambini, Laurent Vuillon	Tiling the Space by Polycube Analogues of Fedorov's Polyhedra.	Fundam. Informaticae	2016	DBLP DOI BibTeX RDF
14	Emily R. Russell, Govind Menon	Energy Landscapes for the Self-Assembly of Supramolecular Polyhedra.	J. Nonlinear Sci.	2016	DBLP DOI BibTeX RDF
14	Alberto Del Pia, Robert Weismantel	Relaxations of mixed integer sets from lattice-free polyhedra.	Ann. Oper. Res.	2016	DBLP DOI BibTeX RDF
14	Amal Benhamiche, Ali Ridha Mahjoub, Nancy Perrot, Eduardo Uchoa	Unsplittable non-additive capacitated network design using set functions polyhedra.	Comput. Oper. Res.	2016	DBLP DOI BibTeX RDF
14	Ramon Carbó-Dorca	Aromaticity, quantum multimolecular polyhedra, and quantum QSPR fundamental equation.	J. Comput. Chem.	2016	DBLP DOI BibTeX RDF
14	Géza Csima, Jeno Szirmai	Isoptic surfaces of polyhedra.	Comput. Aided Geom. Des.	2016	DBLP DOI BibTeX RDF
14	Stan Schein, Alexander J. Yeh, Kris Coolsaet, James M. Gayed	Decoration of the Truncated Tetrahedron - An Archimedean Polyhedron - To Produce a New Class of Convex Equilateral Polyhedra with Tetrahedral Symmetry.	Symmetry	2016	DBLP DOI BibTeX RDF
14	Daniel Pellicer	Regular and Chiral Polyhedra in Euclidean Nets.	Symmetry	2016	DBLP DOI BibTeX RDF
14	Cassio Alves, Federico Iacovelli, Mattia Falconi, Francesca Cardamone, Blasco Morozzo della Rocca, Cristiano L. P. de Oliveira, Alessandro Desideri	A Simple and Fast Semiautomatic Procedure for the Atomistic Modeling of Complex DNA Polyhedra.	J. Chem. Inf. Model.	2016	DBLP DOI BibTeX RDF
14	Luis Rademacher, Alejandro Toriello, Juan Pablo Vielma	On packing and covering polyhedra in infinite dimensions.	Oper. Res. Lett.	2016	DBLP DOI BibTeX RDF
14	Aleksandr Yu. Chirkov, Nikolai Yu. Zolotykh	On the Number of Irreducible Points in Polyhedra.	Graphs Comb.	2016	DBLP DOI BibTeX RDF
14	Danny Nguyen, Igor Pak	Enumeration of integer points in projections of unbounded polyhedra.	CoRR	2016	DBLP BibTeX RDF
14	Mirela Damian, Erik D. Demaine, Robin Y. Flatland, Joseph O'Rourke	Unfolding Genus-2 Orthogonal Polyhedra with Linear Refinement.	CoRR	2016	DBLP BibTeX RDF
14	Jin Akiyama, Stefan Langerman, Kiyoko Matsunaga	Reversible Nets of Polyhedra.	CoRR	2016	DBLP BibTeX RDF
14	Joseph O'Rourke	Unfolding Convex Polyhedra via Radially Monotone Cut Trees.	CoRR	2016	DBLP BibTeX RDF
14	Ralph E. Gomory	Origin and early evolution of corner polyhedra.	Eur. J. Oper. Res.	2016	DBLP DOI BibTeX RDF
14	Manoel B. Campêlo, Alexandre S. Freire, Karla Roberta Lima, Phablo F. S. Moura, Yoshiko Wakabayashi	The convex recoloring problem: polyhedra, facets and computational experiments.	Math. Program.	2016	DBLP DOI BibTeX RDF
14	Steffen Borgwardt, Elisabeth Finhold, Raymond Hemmecke	Quadratic diameter bounds for dual network flow polyhedra.	Math. Program.	2016	DBLP DOI BibTeX RDF
14	Gabriela R. Argiroffo, Silvia M. Bianchi, Annegret Wagler	Progress on the description of identifying code polyhedra for some families of split graphs.	Discret. Optim.	2016	DBLP DOI BibTeX RDF
14	Dominik Schötzau, Christoph Schwab, Thomas P. Wihler	hp-dGFEM for second-order mixed elliptic problems in polyhedra.	Math. Comput.	2016	DBLP DOI BibTeX RDF
14	Guilin Liu, Zhonghua Xi, Jyh-Ming Lien	Nearly convex segmentation of polyhedra through convex ridge separation.	Comput. Aided Des.	2016	DBLP DOI BibTeX RDF
14	Michiel H. M. Smid, Prosenjit Bose, Paz Carmi, Mirela Damian, Jean-Lou De Carufel, Darryl Hill, Anil Maheshwari, Yuyang Liu	On the stretch factor of convex polyhedra whose vertices are (almost) on a sphere.	J. Comput. Geom.	2016	DBLP DOI BibTeX RDF
14	Egon Schulte, Abigail Williams	Wythoffian Skeletal Polyhedra in Ordinary Space, I.	Discret. Comput. Geom.	2016	DBLP DOI BibTeX RDF
14	Daniel Dadush, Nicolai Hähnle	On the Shadow Simplex Method for Curved Polyhedra.	Discret. Comput. Geom.	2016	DBLP DOI BibTeX RDF
14	Timothy M. Chan	A Simpler Linear-Time Algorithm for Intersecting Two Convex Polyhedra in Three Dimensions.	Discret. Comput. Geom.	2016	DBLP DOI BibTeX RDF
14	Maël Pavón	Injective Convex Polyhedra.	Discret. Comput. Geom.	2016	DBLP DOI BibTeX RDF
14	Ibrahima Diarrassouba, Hakan Kutucu, Ali Ridha Mahjoub	Two node-disjoint hop-constrained survivable network design and polyhedra.	Networks	2016	DBLP DOI BibTeX RDF
14	Robert Hildebrand, Robert Weismantel, Kevin Zemmer	An FPTAS for Minimizing Indefinite Quadratic Forms over Integers in Polyhedra.	SODA	2016	DBLP DOI BibTeX RDF
14	Israel Aldana-Galván, Jose Luis Álvarez-Rebollar, Juan Carlos Catana-Salazar, Mazay Jimenez-Salinas, Erick Solis-Villarreal, Jorge Urrutia	Minimizing the Solid Angle Sum of Orthogonal Polyhedra and Guarding them with π/2-Edge Guards.	CCCG	2016	DBLP BibTeX RDF
14	Yan Gérard	Recognition of Digital Polyhedra with a Fixed Number of Faces.	DGCI	2016	DBLP DOI BibTeX RDF
14	Rafael S. Coelho, Phablo F. S. Moura, Yoshiko Wakabayashi	The k-hop connected dominating set problem: hardness and polyhedra.	Electron. Notes Discret. Math.	2015	DBLP DOI BibTeX RDF
14	Nicolin Govender, Daniel N. Wilke, Schalk Kok	Collision detection of convex polyhedra on the NVIDIA GPU architecture for the discrete element method.	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
14	Steffen Borgwardt, Elisabeth Finhold, Raymond Hemmecke	On the Circuit Diameter of Dual Transportation Polyhedra.	SIAM J. Discret. Math.	2015	DBLP DOI BibTeX RDF
14	Giovanni Viglietta	Reprint of: Face-guarding polyhedra.	Comput. Geom.	2015	DBLP DOI BibTeX RDF
14	Justin Lloyd, Elena Sherman	Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain.	ACM SIGSOFT Softw. Eng. Notes	2015	DBLP DOI BibTeX RDF
14	Moritz Firsching	Computing Maximal Copies of Polyhedra Contained in a Polyhedron.	Exp. Math.	2015	DBLP DOI BibTeX RDF
14	Vivette Girault, Ricardo H. Nochetto, L. Ridgway Scott	Max-norm estimates for Stokes and Navier-Stokes approximations in convex polyhedra.	Numerische Mathematik	2015	DBLP DOI BibTeX RDF
14	Joseph O'Rourke	Spiral Unfoldings of Convex Polyhedra.	CoRR	2015	DBLP BibTeX RDF
14	Prosenjit Bose, Paz Carmi, Mirela Damian, Jean-Lou De Carufel, Darryl Hill, Anil Maheshwari, Yuyang Liu, Michiel H. M. Smid	On the Stretch Factor of Convex Polyhedra whose Vertices are (Almost) on a Sphere.	CoRR	2015	DBLP BibTeX RDF
14	Muhibur Rasheed, Chandrajit L. Bajaj	Characterization and Construction of a Family of Highly Symmetric Spherical Polyhedra with Application in Modeling Self-Assembling Structures.	CoRR	2015	DBLP BibTeX RDF
14	Willem Hagemann	Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems.	Math. Comput. Sci.	2015	DBLP DOI BibTeX RDF
14	Santanu S. Dey, Marco Molinaro 0001, Qianyi Wang	Approximating polyhedra with sparse inequalities.	Math. Program.	2015	DBLP DOI BibTeX RDF
14	Gennadiy Averkov, Amitabh Basu	Lifting properties of maximal lattice-free polyhedra.	Math. Program.	2015	DBLP DOI BibTeX RDF
14	Tobias Grosser, Sven Verdoolaege, Albert Cohen 0001	Polyhedral AST Generation Is More Than Scanning Polyhedra.	ACM Trans. Program. Lang. Syst.	2015	DBLP DOI BibTeX RDF
14	Walid Ben-Ameur, Mohamed-Ahmed Mohamed-Sidi, José Neto	The $$k$$ k -separator problem: polyhedra, complexity and approximation results.	J. Comb. Optim.	2015	DBLP DOI BibTeX RDF
14	Yi-Jun Chang, Hsu-Chun Yen	Unfolding Orthogonal Polyhedra with Linear Refinement.	ISAAC	2015	DBLP DOI BibTeX RDF
14	Luis Barba, Stefan Langerman	Optimal detection of intersections between convex polyhedra.	SODA	2015	DBLP DOI BibTeX RDF
14	Zhonghua Xi, Jyh-Ming Lien	Continuous unfolding of polyhedra - a motion planning approach.	IROS	2015	DBLP DOI BibTeX RDF
14	Francesco Alberti, David Monniaux	Polyhedra to the rescue of array interpolants.	SAC	2015	DBLP DOI BibTeX RDF
14	Jin Akiyama, Stefan Langerman, Kiyoko Matsunaga	Reversible Nets of Polyhedra.	JCDCGG	2015	DBLP DOI BibTeX RDF
14	Erik D. Demaine, Martin L. Demaine, Jin-ichi Itoh, Chie Nara	Continuous Flattening of Orthogonal Polyhedra.	JCDCGG	2015	DBLP DOI BibTeX RDF