Travelled to:1 × Austria
1 × Latvia
1 × USA
Collaborated with:S.Szeider S.Bova P.Hlinený D.Král' J.Obdrzálek J.Schwartz J.Teska
Talks about:model (2) check (2) sat (2) existenti (1) communiti (1) algorithm (1) structur (1) partial (1) interv (1) inspir (1)
Person: Robert Ganian
DBLP: Ganian:Robert
Contributed to:
2015
2014
2013Wrote 3 papers:
- SAT-2015-GanianS #algorithm #community #satisfiability
- Community Structure Inspired Algorithms for SAT and #SAT (RG, SS), pp. 223–237.
- LICS-CSL-2014-BovaGS #logic #model checking #order #set
- Model checking existential logic on partially ordered sets (SB, RG, SS), p. 10.
- ICALP-v2-2013-GanianHKOST #graph #model checking
- FO Model Checking of Interval Graphs (RG, PH, DK, JO, JS, JT), pp. 250–262.