Csaba Biró

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 16

Top Topics

Modulo Theories

Top Venues

Publications

Csaba Biró, Jeno Lehel, Géza Tóth
Helly-Type Theorems for the Ordering of the Vertices of a Hypergraph. Order 40 (3) (2023)
Csaba Biró, Israel R. Curbelo
Improved lower bound on the on-line chain partitioning of semi-orders with representation. Discret. Math. 346 (12) (2023)
Csaba Biró, Israel R. Curbelo
Improved Lower Bounds on the On-line Chain Partitioning of Posets of Bounded Dimension. Order 40 (3) (2023)
Csaba Biró, Sida Wan
Ramsey properties of products of chains. Australas. J Comb. 84 (2022)
Csaba Biró, Bartlomiej Bosek, Heather C. Smith, William T. Trotter, Ruidong Wang, Stephen J. Young
Planar Posets that are Accessible from Below Have Dimension at Most 6. Order 38 (1) (2021)
Gábor Kusper, Tamás Balla, Csaba Biró, Tibor Tajti, Zijian Gyozo Yang, Imre Baják
Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs. SYNASC (2020)
Gábor Kusper, Csaba Biró
Convert a Strongly Connected Directed Graph to a Black-and-White 3-SAT Problem by the Balatonboglár Model. Algorithms 13 (12) (2020)
Gábor Kusper, Csaba Biró, Tamás Balla
Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems. SACI (2020)
Gábor Bakó, Zsolt Molnár, Zsófia Szilágyi, Csaba Biró, Edina Morvai, Örs Ábrám, András Molnár
Accurate Non-Disturbance Population Survey Method of Nesting Colonies in the Reedbed with Georeferenced Aerial Imagery. Sensors 20 (9) (2020)
Tamás Balla, Csaba Biró, Gábor Kusper
The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs. ICAI (2020)
Csaba Biró, Édouard Bonnet, Dániel Marx, Tillmann Miltzow, Pawel Rzazewski
Fine-grained complexity of coloring unit disks and balls. J. Comput. Geom. 9 (2) (2018)
Gergely Kovásznai, Csaba Biró, Balazs Erdelyi
Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers. SMT (2017)
Csaba Biró, Édouard Bonnet, Dániel Marx, Tillmann Miltzow, Pawel Rzazewski
Fine-Grained Complexity of Coloring Unit Disks and Balls. SoCG (2017)
Csaba Biró, Peter Hamburger, Attila Pór, William T. Trotter
Forcing Posets with Large Dimension to Contain Large Standard Examples. Graphs Comb. 32 (3) (2016)
Csaba Biró, Paul Horn, D. Jacob Wildstrom
An upper bound on the extremal version of Hajnal's triangle-free game. Discret. Appl. Math. 198 (2016)
Csaba Biró, Mitchel T. Keller, Stephen J. Young
Posets with Cover Graph of Pathwidth two have Bounded Dimension. Order 33 (2) (2016)
Gábor Kusper, Csaba Biró
Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle. SYNASC (2015)
Csaba Biró, Kris Wease
The rate of growth of the minimum clique size of graphs of given order and chromatic number. Discret. Math. 338 (5) (2015)
Csaba Biró, Peter Hamburger, Attila Pór
Standard Examples as Subposets of Posets. Order 32 (2) (2015)
Csaba Biró, Peter Hamburger, Attila Pór
The Proof of the Removable Pair Conjecture for Fractional Dimension. Electron. J. Comb. 21 (1) (2014)
Csaba Biró, Gábor Kusper, Tibor Tajti
How to generate weakly nondecisive SAT instances. SISY (2013)
Csaba Biró, Zoltán Füredi, Sogol Jahanbekam
Large Chromatic Number and Ramsey Graphs. Graphs Comb. 29 (5) (2013)
Csaba Biró, William T. Trotter
A combinatorial approach to height sequences in finite partially ordered sets. Discret. Math. 311 (7) (2011)
Csaba Biró, David M. Howard, Mitchel T. Keller, William T. Trotter, Stephen J. Young
Interval partitions and Stanley depth. J. Comb. Theory, Ser. A 117 (4) (2010)
Csaba Biró, William T. Trotter
Segment Orders. Discret. Comput. Geom. 43 (3) (2010)
Csaba Biró, David M. Howard
The First Three Levels of an Order Preserving Hamiltonian Path in the Subset Lattice. Order 26 (2) (2009)