Výsledky vyhledávání - Monotone Linear Programming Circuits

Representations of Monotone Boolean Functions by Linear Programs

Autoři: Mateus De Oliveira Oliveira Pavel Pudlák Mateus de Oliveira Oliveira and Pavel Pudlák

Přispěvatelé: Mateus De Oliveira Oliveira Pavel Pudlák Mateus de Oliveira Oliveira and Pavel Pudlák

Zdroj: ACM Transactions on Computation Theory. 11:1-31

Témata: Lower Bounds, monotone linear programming circuits, Feasible Interpolation, Monotone Linear Programming Circuits, Lovász-Schrijver Proof System, Lovász-Schrijver proof systems, feasible interpolation, 0102 computer and information sciences, ddc:004, Cutting-Planes Proof System, 0101 mathematics, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/opus/volltexte/2017/7520/pdf/LIPIcs-CCC-2017-3.pdf
https://dl.acm.org/doi/10.5555/3135595.3135598
https://drops.dagstuhl.de/opus/volltexte/2017/7520/
https://dblp.uni-trier.de/db/conf/coco/coco2017.html#OliveiraP17
https://dblp.uni-trier.de/db/journals/toct/toct11.html#OliveiraP19
https://dl.acm.org/doi/10.1145/3337787
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2017.3
http://hdl.handle.net/11104/0301620
http://hdl.handle.net/11104/0273491

On the circuit diameter conjecture for counterexamples to the Hirsch conjecture.

Autoři: Black, Alexander E. Borgwardt, Steffen Brugger, Matthias

Zdroj: Discrete Optimization. Nov2025, Vol. 58, pN.PAG-N.PAG. 1p.

Témata: Polyhedra, Polytopes, Refutation (Logic), Circuit complexity, Linear programming

People: Santos, George, 1988-

Representations of Monotone Boolean Functions by Linear Programs

Autoři: de Oliveira Oliveira, Mateus Pudlák, Pavel Mateus de Oliveira Oliveira and Pavel Pudlák

Přispěvatelé: de Oliveira Oliveira, Mateus Pudlák, Pavel Mateus de Oliveira Oliveira and Pavel Pudlák

Témata: Monotone Linear Programming Circuits, Lovász-Schrijver Proof System, Cutting-Planes Proof System, Feasible Interpolation, Lower Bounds

Popis souboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 79, 32nd Computational Complexity Conference (CCC 2017); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2017.3

Dostupnost: https://doi.org/10.4230/LIPIcs.CCC.2017.3
https://nbn-resolving.org/urn:nbn:de:0030-drops-75200
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2017.3

PIVOT RULES FOR CIRCUIT-AUGMENTATION ALGORITHMS IN LINEAR OPTIMIZATION.

Autoři: DE LOERA, JESÚS A. KAFER, SEAN SANITÀ, LAURA

Zdroj: SIAM Journal on Optimization; 2022, Vol. 32 Issue 3, p2156-2179, 24p

Témata: SIMPLEX algorithm, MATHEMATICAL optimization, POLYTOPES, POLYNOMIAL time algorithms, POLYHEDRA, LINEAR programming

Inapproximability of shortest paths on perfect matching polytopes: Inapproximability of shortest paths on perfect matching polytopes: J. Cardinal, R. Steiner.

Autoři: Cardinal, Jean Steiner, Raphael

Zdroj: Mathematical Programming; Mar2025, Vol. 210 Issue 1, p147-163, 17p

Témata: MATHEMATICAL programming, POLYNOMIAL time algorithms, LINEAR programming, APPROXIMATION algorithms, COMBINATORIAL optimization, BIPARTITE graphs, SIMPLEX algorithm

Proof Complexity and Beyond.

Zdroj: Oberwolfach Reports; 2024, Vol. 21 Issue 1, p871-934, 63p

Témata: LINEAR programming, SEMIDEFINITE programming, COMPUTER science, COMBINATORICS, ALGORITHMS

Representations of Monotone Boolean Functions by Linear Programs

Autoři: Mateus de Oliveira Oliveira and Pavel Pudlák de Oliveira Oliveira, Mateus Pudlák, Pavel

Témata: Monotone Linear Programming Circuits, Lovász-Schrijver Proof System, Cutting-Planes Proof System, Feasible Interpolation, Lower Bounds, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2017.3
Is Part Of LIPIcs, Volume 79, 32nd Computational Complexity Conference (CCC 2017)

Nonuniform ACC Circuit Lower Bounds.

Autoři: WILLIAMS, RYAN

Zdroj: Journal of the ACM; Jan2014, Vol. 61 Issue 1, p2-32, 32p

Témata: MATHEMATICAL constants, ARBITRARY constants, MATHEMATICAL variables, ALGORITHMS, LINEAR programming

Area-Optimal Technology Mapping for Field-Programmable Gate Arrays Based on Lookup Tables.

Autoři: Chowdhary, Amit Hayes, John P.

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Jul2005, Vol. 24 Issue 7, p999-1013, 15p

Témata: LINEAR programming, MATHEMATICAL programming, INTEGRATED circuits, MICROELECTRONICS, HEURISTIC, METHODOLOGY

On the Proof Complexity of Linear Programming Based Branch-and-Bound

Autoři: Gläser, Maximilian

Témata: Book, NonPeerReviewed, info:eu-repo/semantics/book

URL: https://tuprints.ulb.tu-darmstadt.de/28881/3/diss_glaeser.pdf.pdf
http://tuprints.ulb.tu-darmstadt.de/28881/
https://doi.org/10.26083/tuprints-00028881
http://tuprints.ulb.tu-darmstadt.de/28881
https://doi.org/10.26083/tuprints-00028881

Integer programming in psychology: A review and directions for future research.

Autoři: Brusco M Steinley D Watts AL

Zdroj: The British journal of mathematical and statistical psychology [Br J Math Stat Psychol] 2025 Feb 26. Date of Electronic Publication: 2025 Feb 26.

Způsob vydávání: Journal Article; Review

Informace o časopise: Publisher: Wiley-Blackwell Country of Publication: England NLM ID: 0004047 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2044-8317 (Electronic) Linking ISSN: 00071102 NLM ISO Abbreviation: Br J Math Stat Psychol Subsets: MEDLINE

Improving Time-Efficiency of Variational Specific Differential Phase Estimation.

Autoři: Huang, Hao Zhao, Kun Chen, Haonan a další

Zdroj: IEEE Transactions on Geoscience & Remote Sensing; Jul2021, Vol. 59 Issue 7, p5642-5664, 23p

Témata: LINEAR operators, RADAR meteorology, LINEAR programming, SPLINE theory, RADAR, LOGIC circuits, MEASUREMENT errors

Finite-time stability and applications of positive switched linear delayed impulsive systems.

Autoři: Yanchao He Yuzhen Bai

Zdroj: Mathematical Modelling & Control; 2024, Vol. 4 Issue 2, p178-194, 17p

Témata: LYAPUNOV functions, LINEAR programming, VECTOR spaces, ALGORITHMS, COEFFICIENTS (Statistics)

A Proof of the Strict Monotone 5-Step Conjecture.

Autoři: Gallagher, John Mackenzie Morris, Walter D.

Zdroj: Discrete & Computational Geometry; 2021, Vol. 65 Issue 2, p476-488, 13p

Témata: EVIDENCE, LOGICAL prediction, ELECTRONIC information resource searching, SIMPLEX algorithm, LINEAR programming, MATROIDS

DC tolerance analysis of electronic circuits by polyhedral circuits.

Autoři: Pastore, Stefano

Zdroj: International Journal of Circuit Theory & Applications; Mar2016, Vol. 44 Issue 3, p639-659, 21p

Témata: ELECTRONIC circuits, EQUILIBRIUM, POLYHEDRA, LINEAR programming, ALGORITHMS

Finding All Solutions of Piecewise-Linear Resistive Circuits Using an LP Test.

Autoři: Yamamura, Kiyotaka Yomogita, Koji

Zdroj: IEEE Transactions on Circuits & Systems Part I: Fundamental Theory & Applications; Jul2000, Vol. 47 Issue 7, p1115, 6p, 5 Diagrams, 5 Charts, 3 Graphs

Témata: PIECEWISE linear topology, ELECTRIC circuits, ALGORITHMS, LINEAR programming

Strengthening convex relaxations of 0/1-sets using Boolean formulas.

Autoři: Fiorini, Samuel Huynh, Tony Weltge, Stefan

Zdroj: Mathematical Programming; Nov2021, Vol. 190 Issue 1/2, p467-482, 16p

Témata: CONVEX sets, CONVEX programming, LINEAR programming, INTEGER programming, COMBINATORIAL optimization, SEMIDEFINITE programming

An Algorithm for the Separation-Preserving Transition of Clusterings.

Autoři: Borgwardt, Steffen Happach, Felix Zirkelbach, Stetson

Zdroj: INFORMS Journal on Optimization; Winter2023, Vol. 5 Issue 1, p1-26, 26p

Témata: DATA analytics, LINEAR programming, POLYTOPES, POLYHEDRA, AIR forces

Optimal Generalized H-Tree Topology and Buffering for High-Performance and Low-Power Clock Distribution.

Autoři: Han, Kwangsoo Kahng, Andrew B. Li, Jiajia

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Feb2020, Vol. 39 Issue 2, p478-491, 14p

Témata: LINEAR programming, CLOCKS & watches, DIGITAL integrated circuits, TOPOLOGY

Apex Method: A New Scalable Iterative Method for Linear Programming †.

Autoři: Sokolinsky, Leonid B. Sokolinskaya, Irina M.

Zdroj: Mathematics (2227-7390); Apr2023, Vol. 11 Issue 7, p1654, 28p

Témata: METRIC projections, EUCLIDEAN metric, COMPUTER workstation clusters, PARALLEL algorithms, COMPUTER systems, LINEAR programming, ITERATIVE methods (Mathematics)