0 | AC Group | TU Wienhttps://ac.tuwien.ac.at/publication-type/0/0Hugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.png0https://ac.tuwien.ac.at/publication-type/0/29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20–23, 2026https://ac.tuwien.ac.at/publication/29th-international-conference-on-theory-and-applications-of-satisfiability-testing-sat-2026-lisbon-portugal-july-20-23-2026/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/29th-international-conference-on-theory-and-applications-of-satisfiability-testing-sat-2026-lisbon-portugal-july-20-23-2026/Efficient reversal of transductions of sparse graph classeshttps://ac.tuwien.ac.at/publication/efficient-reversal-of-transductions-of-sparse-graph-classes/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/efficient-reversal-of-transductions-of-sparse-graph-classes/Pairwise Reflection Symmetry in Generalized Latin Rectangleshttps://ac.tuwien.ac.at/publication/pairwise-reflection-symmetry-in-generalized-latin-rectangles/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/pairwise-reflection-symmetry-in-generalized-latin-rectangles/Algorithms for Satisfiability Testinghttps://ac.tuwien.ac.at/publication/algorithms-for-satisfiability-testing/Sun, 01 Jan 2023 00:00:00 +0000https://ac.tuwien.ac.at/publication/algorithms-for-satisfiability-testing/47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austriahttps://ac.tuwien.ac.at/publication/47th-international-symposium-on-mathematical-foundations-of-computer-science-mfcs-2022-august-22-26-2022-vienna-austria/Sat, 01 Jan 2022 00:00:00 +0000https://ac.tuwien.ac.at/publication/47th-international-symposium-on-mathematical-foundations-of-computer-science-mfcs-2022-august-22-26-2022-vienna-austria/Computing Treewidth with Constraint Programminghttps://ac.tuwien.ac.at/publication/computing-treewidth-with-constraint-programming/Sat, 01 Jan 2022 00:00:00 +0000https://ac.tuwien.ac.at/publication/computing-treewidth-with-constraint-programming/A Large Neighborhood Search for Distributing Service Points in Mobility Applications with Capacities and Limited Resourceshttps://ac.tuwien.ac.at/publication/a-large-neighborhood-search-for-distributing-service-points-in-mobility-applications-with-capacities-and-limited-resources/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-large-neighborhood-search-for-distributing-service-points-in-mobility-applications-with-capacities-and-limited-resources/Portfolio Solvers for QDIMACS and QCIRhttps://ac.tuwien.ac.at/publication/portfolio-solvers-for-qdimacs-and-qcir/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/portfolio-solvers-for-qdimacs-and-qcir/Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)https://ac.tuwien.ac.at/publication/recent-trends-in-knowledge-compilation-dagstuhl-seminar-17381/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/recent-trends-in-knowledge-compilation-dagstuhl-seminar-17381/Proc. 24th International Symposium on Graph Drawing and Network Visualization (GD'16)https://ac.tuwien.ac.at/publication/proc-24th-international-symposium-on-graph-drawing-and-network-visualization-gd-16/Fri, 01 Jan 2016 00:00:00 +0000https://ac.tuwien.ac.at/publication/proc-24th-international-symposium-on-graph-drawing-and-network-visualization-gd-16/Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papershttps://ac.tuwien.ac.at/publication/parameterized-and-exact-computation-8th-international-symposium-ipec-2013-sophia-antipolis-france-september-4-6-2013-revised-selected-papers/Tue, 01 Jan 2013 00:00:00 +0000https://ac.tuwien.ac.at/publication/parameterized-and-exact-computation-8th-international-symposium-ipec-2013-sophia-antipolis-france-september-4-6-2013-revised-selected-papers/Proceedings of the 10th Metaheuristics International Conferencehttps://ac.tuwien.ac.at/publication/proceedings-of-the-10th-metaheuristics-international-conference/Tue, 01 Jan 2013 00:00:00 +0000https://ac.tuwien.ac.at/publication/proceedings-of-the-10th-metaheuristics-international-conference/Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012https://ac.tuwien.ac.at/publication/computational-models-of-argument-proceedings-of-comma-2012-vienna-austria-september-10-12-2012/Sun, 01 Jan 2012 00:00:00 +0000https://ac.tuwien.ac.at/publication/computational-models-of-argument-proceedings-of-comma-2012-vienna-austria-september-10-12-2012/Hybrid Metaheuristics, 7th Int. Workshop, HM 2010https://ac.tuwien.ac.at/publication/hybrid-metaheuristics-7th-int-workshop-hm-2010/Fri, 01 Jan 2010 00:00:00 +0000https://ac.tuwien.ac.at/publication/hybrid-metaheuristics-7th-int-workshop-hm-2010/Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedingshttps://ac.tuwien.ac.at/publication/theory-and-applications-of-satisfiability-testing-sat-2010-13th-international-conference-sat-2010-edinburgh-uk-july-11-14-2010-proceedings/Fri, 01 Jan 2010 00:00:00 +0000https://ac.tuwien.ac.at/publication/theory-and-applications-of-satisfiability-testing-sat-2010-13th-international-conference-sat-2010-edinburgh-uk-july-11-14-2010-proceedings/Fitting Multi-Planet Transit Models to CoRoT Time-Data Series by Evolutionary Algorithmshttps://ac.tuwien.ac.at/publication/fitting-multi-planet-transit-models-to-corot-time-data-series-by-evolutionary-algorithms/Thu, 01 Jan 2009 00:00:00 +0000https://ac.tuwien.ac.at/publication/fitting-multi-planet-transit-models-to-corot-time-data-series-by-evolutionary-algorithms/GECCO~2009: Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computationhttps://ac.tuwien.ac.at/publication/gecco-2009-proceedings-of-the-11th-annual-conference-on-genetic-and-evolutionary-computation/Thu, 01 Jan 2009 00:00:00 +0000https://ac.tuwien.ac.at/publication/gecco-2009-proceedings-of-the-11th-annual-conference-on-genetic-and-evolutionary-computation/Evolutionary Computation in Combinatorial Optimization – EvoCOP~2006https://ac.tuwien.ac.at/publication/evolutionary-computation-in-combinatorial-optimization-evocop-2006/Sun, 01 Jan 2006 00:00:00 +0000https://ac.tuwien.ac.at/publication/evolutionary-computation-in-combinatorial-optimization-evocop-2006/Evolutionary Computation in Combinatorial Optimization – EvoCOP~2005https://ac.tuwien.ac.at/publication/evolutionary-computation-in-combinatorial-optimization-evocop-2005/Sat, 01 Jan 2005 00:00:00 +0000https://ac.tuwien.ac.at/publication/evolutionary-computation-in-combinatorial-optimization-evocop-2005/Proceedings of the 2005 IEEE Congress on Evolutionary Computationhttps://ac.tuwien.ac.at/publication/proceedings-of-the-2005-ieee-congress-on-evolutionary-computation/Sat, 01 Jan 2005 00:00:00 +0000https://ac.tuwien.ac.at/publication/proceedings-of-the-2005-ieee-congress-on-evolutionary-computation/Proceedings of the Genetic and Evolutionary Computation Conference, GECCO-2005https://ac.tuwien.ac.at/publication/proceedings-of-the-genetic-and-evolutionary-computation-conference-gecco-2005/Sat, 01 Jan 2005 00:00:00 +0000https://ac.tuwien.ac.at/publication/proceedings-of-the-genetic-and-evolutionary-computation-conference-gecco-2005/Applications of Evolutionary Computing: EvoWorkshops 2004https://ac.tuwien.ac.at/publication/applications-of-evolutionary-computing-evoworkshops-2004/Thu, 01 Jan 2004 00:00:00 +0000https://ac.tuwien.ac.at/publication/applications-of-evolutionary-computing-evoworkshops-2004/Evolutionary Computation in Combinatorial Optimization – EvoCOP~2004https://ac.tuwien.ac.at/publication/evolutionary-computation-in-combinatorial-optimization-evocop-2004/Thu, 01 Jan 2004 00:00:00 +0000https://ac.tuwien.ac.at/publication/evolutionary-computation-in-combinatorial-optimization-evocop-2004/Hybrid Evolutionary Algorithms for Combinatorial Optimizationhttps://ac.tuwien.ac.at/publication/hybrid-evolutionary-algorithms-for-combinatorial-optimization/Sat, 01 Mar 2003 00:00:00 +0000https://ac.tuwien.ac.at/publication/hybrid-evolutionary-algorithms-for-combinatorial-optimization/Applications of Evolutionary Computing: EvoWorkshops 2003https://ac.tuwien.ac.at/publication/applications-of-evolutionary-computing-evoworkshops-2003/Wed, 01 Jan 2003 00:00:00 +0000https://ac.tuwien.ac.at/publication/applications-of-evolutionary-computing-evoworkshops-2003/Applications of Evolutionary Computing: EvoWorkshops 2002https://ac.tuwien.ac.at/publication/applications-of-evolutionary-computing-evoworkshops-2002/Tue, 01 Jan 2002 00:00:00 +0000https://ac.tuwien.ac.at/publication/applications-of-evolutionary-computing-evoworkshops-2002/Applications of Evolutionary Computing: EvoWorkshops 2001https://ac.tuwien.ac.at/publication/applications-of-evolutionary-computing-evoworkshops-2001/Mon, 01 Jan 2001 00:00:00 +0000https://ac.tuwien.ac.at/publication/applications-of-evolutionary-computing-evoworkshops-2001/Proceedings of the International Conference on Imaging Science, Systems, and Technologyhttps://ac.tuwien.ac.at/publication/proceedings-of-the-international-conference-on-imaging-science-systems-and-technology/Thu, 01 Jan 1998 00:00:00 +0000https://ac.tuwien.ac.at/publication/proceedings-of-the-international-conference-on-imaging-science-systems-and-technology/Algorithmic Extensions of Dirac's Theoremhttps://ac.tuwien.ac.at/publication/algorithmic-extensions-of-dirac-s-theorem/Thu, 01 Jan 1970 00:00:00 +0000https://ac.tuwien.ac.at/publication/algorithmic-extensions-of-dirac-s-theorem/