-
4618
26. European Conference on Operational Research
Universität La Sapienza, Rom, 30.06.2013 - 04.07.2013
Veranstaltungsorganisation › Sonstige Veranstaltung › 2013
-
3847
25th European Conference on Operational Research (EURO 2012)
Vilnius, Litauen, 08.07.2012 - 11.07.2012
Veranstaltungsorganisation › Sonstige Veranstaltung › 2012
-
2475
24th European Conference on Operational Research (EURO 2010)
Universität Lissabon, 11.07.2010 - 14.07.2010
Veranstaltungsorganisation › Sonstige Veranstaltung › 2010
-
2483
Complexity results of linear XSAT problems
11th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2010)
Ford Lauderdale, Florida, USA, 06.01.2010 - 08.01.2010
Veranstaltungsbeitrag › Vortrag › 2010
-
2596
On some aspects of mixed-Horn formulas
12th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
Universität Swansea, Wales, UK, 30.06.2009 - 03.07.2009
Veranstaltungsbeitrag › Vortrag › 2009
-
2595
57. Workshop Algorithmen und Komplexität
Universität zu Köln, 03.06.2009
Veranstaltungsorganisation › Sonstige Veranstaltung › 2009
-
2594
A CNF class generalizing exact-linear formulas
11th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
Guangzhou, China, 12.05.2008 - 15.05.2008
Veranstaltungsbeitrag › Sonstiger Veranstaltungsbeitrag › 2008
-
2593
A fibre-view on clause sets and applications
Satisfiability Day
Universität Nijmegen, Niederlande, 19.02.2008
Veranstaltungsbeitrag › Vortrag › 2008
-
2592
A CNF formula hierarchy over the hypercube
20th Joint Conference on Artificial Intelligence
Goldcoast, Australien, 02.12.2007 - 06.12.2007
Veranstaltungsbeitrag › Vortrag › 2007
-
2591
Optimal parameterized rectangular coverings
7th International Workshop on Computational Geometry and Applications
Kuala Lumpur, Malaysia, 26.08.2007 - 29.08.2007
Veranstaltungsbeitrag › Vortrag › 2007
-
2590
Algorithms for variable-weighted 2-SAT and dual problems
10th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
Lissabon, Portugal, 28.05.2007 - 31.05.2007
Veranstaltungsbeitrag › Sonstiger Veranstaltungsbeitrag › 2007
-
2589
Erfüllbarkeit linearer CNF Formeln
53. Workshop Algorithmen und Komplexität
TU Dortmund, 03.05.2007 - 04.05.2007
Veranstaltungsbeitrag › Vortrag › 2007
-
2588
Linear CNF formulas and satisfiability
9th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
Seattle, USA, 12.08.2006 - 15.08.2006
Veranstaltungsbeitrag › Vortrag › 2006
-
2587
Counting all solutions of minimum-weight exact satisfiability
6th International Conference on Algorithms and Complexity
Universität La Sapienza, Rom, Italien, 29.05.2006 - 31.05.2006
Veranstaltungsbeitrag › Vortrag › 2006
-
2586
Algorithms for rectangular covering problems
6th International Workshop on Computational Geometry and Applications
Glasgow, UK, 08.05.2006 - 11.05.2006
Veranstaltungsbeitrag › Vortrag › 2006
-
2585
Solving minimum-weight exact satisfiability in O(2^{0.2441n}) time
16th International Symposium on Algorithms and Computation
Hainan, China, 19.12.2005 - 21.12.2005
Veranstaltungsbeitrag › Vortrag › 2005
-
2584
On the rectangular subset closure of point sets
5th International Workshop on Computational Geometry and Applications
Singapur, 09.05.2005 - 12.05.2005
Veranstaltungsbeitrag › Vortrag › 2005
-
2583
On the time complexity of rectangular covering problems in the discrete plane
4th International Workshop on Computational Geometry and Applications
Assisi, Italien, 14.05.2004 - 17.05.2004
Veranstaltungsbeitrag › Vortrag › 2004
-
2582
Linear time algorithms for some not-all-equal satisfiability problems
6th International Conference on Theory and Applications of Satisfiability Testing
Genua, Italien, 05.05.2003 - 08.05.2003
Veranstaltungsbeitrag › Sonstiger Veranstaltungsbeitrag › 2003
-
2581
On a not-all-equal- SAT problem contained in Nick's class
SAT: Algorithms and lower bounds
Konferenzzentrum Schloss Dagstuhl, 16.03.2003 - 21.03.2003
Veranstaltungsbeitrag › Vortrag › 2003
-
2580
On generalizations of the SIS problem
Conference on Graph Theory
Krakau, Polen, 16.09.2002 - 20.09.2002
Veranstaltungsbeitrag › Vortrag › 2002
-
2579
X3SAT is decidable in time O(2^{n/5})
5th International Conference on Theory and Applications of Satisfiability Testing
University of Cincinnati, USA, 06.05.2002 - 09.05.2002
Veranstaltungsbeitrag › Vortrag › 2002
-
2578
Covering grid points by rectangles
Kolloquium über Kombinatorik
TU Braunschweig, 15.11.2001 - 16.11.2001
Veranstaltungsbeitrag › Vortrag › 2001
-
2577
On rectangular coverings of Z-grid points
Gemeinsame Tagung der Deutschen Mathematikervereinigung und der ÖMG
Universität Wien, 17.09.2001 - 21.09.2001
Veranstaltungsbeitrag › Vortrag › 2001
-
2576
Rectangular Covering of Integer grid points
Cologne Twente Workshop on Graph Theory and Combinatorial Optimization
Universität zu Köln, 14.03.2001 - 16.03.2001
Veranstaltungsbeitrag › Sonstiger Veranstaltungsbeitrag › 2001