Discrete Mathematics and Optimization

Research output

Research output per year 1996 1999 2000 2001 2002 2003 2004 2006 2008 2009 2010 2024

• 418 Article
• 276 Conference contribution
• 59 Chapter
• 33 Dissertation (TU Delft)
• 63 More
  • 28 Report
  • 21 Book
  • 7 Abstract
  • 1 Book editing
  • 1 Entry for encyclopedia/dictionary
  • 1 Comment/Letter to the editor
  • 1 Conference article
  • 1 Editorial
  • 1 Other contribution
  • 1 Dissertation (TU Delft, preparation external)

Research output per year

Research output per year

Search results

• 2011

  Application of geometric algebra for power factor improvement: a survey

  Chaves Jimenez, A. & Jeltsema, D., 2011, Proceedings of the 1st Conference on Technologies for Sustainable Development TDS2011. Chacon-Rodriguez, A. (ed.). s.l.: Electronic Engineering School, TEC, p. 1-4 4 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Application of geometric algebra of power factor improvement

  Chaves Jimenez, A., Jeltsema, D. & van der Woude, JW., 2011, 33rd International Telecommunications Engergy Conference 2011 (INTELEC). Vleeskruijer, D. (ed.). Piscataway, NJ, USA: IEEE Society, p. 1-6 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  1 Citation (Scopus)

• Infinite-dimensional semidefinite programs

  Vallentin, F., Bachoc, C. & Mittelmann, H. D., 2011, Exploiting symmetry in optimization. Kaibel, V. & et al. (eds.). Oberwolfach: Mathematisches Forschungsinstitut, p. 29-30 2 p. (Oberwolfach Reports; vol. 7).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  Open Access

• Port-Hamiltonian modeling of systems with position-dependent mass

  Jeltsema, D. & Doria Cerezo, A., 2011, 18th IFAC World Congress. Bittanti, S., Cenedese, A. & Zampieri, S. (eds.). Milaan, Italy: IFAC, p. 13468-13473 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  Open Access
  3 Citations (Scopus)

• The spinor equation of hamiltonian system

  Maks, JG., 2011, 9th International Conference on Clifford Algebras and their Applications in Mathematical Physics. Schmiedel, R. (ed.). Weimar, Germany: ICCA, p. 1-6 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
• 2010

  A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data

  Verwer, SE., de Weerdt, MM. & Witteveen, C., 2010, Grammatical Inference: Theoretical Results and Applications. Sempere, JM. & García, P. (eds.). Berlin: Springer, p. 203-216 14 p. (Lecture Notes in Computer Science; vol. 6339).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Allocation of opportunistic spectrum in cognitive radio ad hoc networks

  Sathyanarayana Rao, V., Venkatesha Prasad, RR., Yadati Narasimha, C. & Niemegeers, IGMM., 2010, 2010 7th IEEE Conference on Consumer Communications and Networking Conference. Ott, J., Balandin, S. & Matuszewski, M. (eds.). Piscataway, NJ, USA: IEEE Society, p. 1-5 5 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  Open Access
  1 Citation (Scopus)

• A spinor approach to Port-Hamiltonian systems

  Maks, JG., 2010, Proceedings of the 19th International Symposium on Mathematics Theory of Networks and Systems. Michaletzky et al, G. (ed.). s.l.: s.n., p. 1167-1171 5 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

• Blocked Clause Elimination

  Jarvisalo, M., Biere, A. & Heule, MJH., 2010, Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Esparza, J. & Majumdar, R. (eds.). Berlin: Springer, p. 129-144 16 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  94 Citations (Scopus)

• Boundary actuation structure of linearized two-phase flow

  Djordevic, S., Bosgra, OH., Van den Hof, PMJ. & Jeltsema, D., 2010, American Control Conference 2010. Masada, B. (ed.). Baltimore, USA: ACC, p. 3759-3764 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  7 Citations (Scopus)

• C++ Tools for exploiting polyhedral symmetries

  Rehn, T. & Schurmann, A., 2010, Mathematical Software - ICMS 2010. Takayama, N., Fukuda, K., van der Hoeven, J. & Joswig, M. (eds.). Springer, p. 295-298 4 p. (Lecture Notes in Computer Science; vol. 6327).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

  Open Access

• Clause Elimination Procedures for CNF Formula

  Heule, MJH., Jarvisalo, M. & Biere, A., 2010, Logic for Programming, Artificial Intelligence, and Reasoning. Fermüller, C. & Voronkov, A. (eds.). Berlin: Springer, p. 357-371 15 p. (Lecture Notes in Computer Science; vol. 6397).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  52 Citations (Scopus)

• Context-aware route planning

  ter Mors, AW., Witteveen, C., Zutt, J. & Kuipers, FA., 2010, Proceedings of the 8th German Conference on Multiagent System Technologies. Dix, J. & Witteveen, C. (eds.). Berlin-Heidelberg: Springer, p. 138-149 12 p. (Lecture Notes in Computer Science; vol. 6251).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  Open Access

  File
  158 Downloads (Pure)

• COORDINATING AGENTS: An analysis of coordination in supply-chain management like tasks

  Yadati Narasimha, C., Witteveen, C. & Zhang, Y., 2010, The 2nd International Conference on Agents and Artificial Intelligence (ICAART). Filipe, J., Fred, ALN. & Sharp, B. (eds.). Setubal: INSTICC PRESS, p. 218-223 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Covered Clause Elimination

  Heule, MJH., Järvisalo, M. & Biere, A., 2010, Short paper proceedings of LPAR-17, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Fermüller, CG. & Voronkov, A. (eds.). Berlin, Germany: Springer, p. 357-371 15 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Distributed heuristics for allocating spectrum in CR ad hoc networks

  Sathyanarayana Rao, V., Venkatesha Prasad, RR., Yadati Narasimha, C. & Niemegeers, IGMM., 2010, IEEE Globecom 2010 - Symposium on Selected Areas in Communications (GC10 - SAC). Su, G-M., Wang, X., Argyriou, A. & Zhang, L. (eds.). Piscataway, NJ, USA: IEEE Society, p. 1-6 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  7 Citations (Scopus)

• Enumeration and Exact Design of Weighted Voting Games

  de Keijzer, B., Klos, TB. & Zhang, Y., 2010, Proceedings 9th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2010). Kaminka, G. & van der Hoek, W. (eds.). IFAAMAS, p. 391-398 8 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  23 Citations (Scopus)

• Evolutionary Dynamics of Regret Minimization

  Klos, TB., van Ahee, G. J. & Tuyls, K., 2010, Machine Learning and Knowledge Discovery in Databases. Balcázar, JL., Bonchi, F., Gionis, A. & Sebag, M. (eds.). Berlin: Springer, p. 82-96 15 p. (Lecture Notes in Artificial Intelligence; vol. 6322).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  Open Access
  21 Citations (Scopus)

• Exact DFA Identification Using SAT Solvers

  Heule, MJH. & Verwer, SE., 2010, Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010. Sempere, JM. & García, P. (eds.). Berlin: Springer, p. 66-79 14 p. (Lecture Notes in Computer Science; vol. 6339).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  73 Citations (Scopus)

• Improving Task-based Plan Coordination

  Yadati Narasimha, C., Witteveen, C. & Zhang, Y., 2010, Proceedings of the International Workshop on Collaborative Agents ¿ REsearch and development (CARE 2009/2010). Guttman, C., Dignum, F. & Georgeff, M. (eds.). Berlin: Springer, p. - (Lecture Notes in Artificial Intelligence; vol. 6066).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Incrementally Solving STNs by Enforcing Partial Path Consistency

  Planken, LR., de Weerdt, MM. & Yorke-Smith, N., 2010, Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS-10). Hoffmann, J., Kautz, H., Brafman, R. & Geffner, H. (eds.). Californie: American Association for Artificial Intelligence (AAAI), p. 129-136 8 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  24 Citations (Scopus)

• Internal Symmetry

  Heule, MJH. & Walsh, T., 2010, The 10th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'10). Flener, P. & Pearson, J. (eds.). Heidelberg, Germany: Springer, p. 19-33 15 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Mechanical memory elements: modeling of systems with position-dependent mass revisited

  Jeltsema, D. & Doria Cerezo, A., 2010, Proceedings of 49th IEEE Conference on Decision and Control. Spong, MW. (ed.). Piscataway, NJ, USA: IEEE Society, p. 1-6 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

  7 Citations (Scopus)

• On two perspectives in decomposing constraint systems

  Witteveen, C., van der Hoek, W. & Wooldridge, M., 2010, COPLAS 2010: ICAPS Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems. Salido, MA., Barták, R. & Yorke-Smith, N. (eds.). ICAPS, p. 60-67 8 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  1 Citation (Scopus)

• Optimal Temporal Decoupling in Multiagent Systems

  Planken, LR., de Weerdt, MM. & Witteveen, C., 2010, Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-10). van der Hoek, Kaminka, Lesperance, Luck & Sen (eds.). IFAAMAS, p. 789-796 8 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Output feedback passivity based controllers for dynamic positioning

  Muhammad, S. & Doria Cerezo, A., 2010, Proceedings of Dynamic Positioning Conference (DP2010). Weingarth, et al, L. (ed.). Houston, TX, USA: C.A. Richards & Ass., Inc., p. 1-16 16 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

• Polyhedral Symmetries

  Schurmann, A., 2010, MFO-Report no. 38/2010, Mini-workshop: Exploiting Symmetry in Optimization. Kaibel, V. (ed.). Oberwolfach, Germany: MFO, p. 2268-2271 4 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

• Symbiosis of Search and Heuristics for Random 3-SAT

  Mijnders, S., de Wilde, B. & Heule, MJH., 2010, Proceedings of the Third International Workshop on Logic and Search (LaSh 2010). Mitchell, D. & Ternovska, E. (eds.). Edinburgh, Schotland: LaSh, p. 1-15 15 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Symmetry within Solutions

  Heule, MJH. & Walsh, T., 2010, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI '10). Fox, M. & Poole, D. (eds.). California: American Association for Artificial Intelligence (AAAI), p. 77-82 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  9 Citations (Scopus)

• The Fourier series interpolation method for the solution of the SDARE

  Muhammad, S. & van der Woude, JW., 2010, Proceedings of UKACC International Conference on Control 2010. Burnham, KJ. (ed.). Coventry, UK: UKACC, p. 769-774 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

• The Grothendieck problem with rank constraint

  Briët, J., de Oliveira Filho, FM. & Vallentin, F., 2010, Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems MTNS 2010. p. 111-113 3 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

• The positive semidefinite Grothendieck problem with rank constraint

  Briët, J., de Oliveira Filho, FM. & Vallentin, F., 2010, Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010. Abramsky et al., S. (ed.). Springer, p. 31-42 12 p. (Lecture Notes in Computer Science; vol. 6198).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

  Open Access
  18 Citations (Scopus)

• Wheel slip control using energy shaping

  Koopman, J., Jeltsema, D. & Verhaegen, M., 2010, Proceedings of the 49th IEEE Conference of Decision and Control. Gorbel, F. & Spong, MW. (eds.). Atlanta, USA: CDC, p. 2916-2921 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  2 Citations (Scopus)
• 2009

  Adaptive Learning in Evolving Task Allocation Networks

  Klos, TB. & Nooteboom, B., 2009, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009). Sierra, C., Castelfranchi, C., Decker, KS. & Sichman, JS. (eds.). s.l.: IFAAMAS, p. 465-472 8 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• A Hierarchical Model and Implementation Architecture for Road Traffic Control

  Vrancken, JLM., van Schuppen, JH., dos Santos Soares, M. & Ottenhof, F., 2009, IEEE International Conference on systems, man and cybernetics. s.n. (ed.). San Antonio: s.n., p. 1-5 5 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

  6 Citations (Scopus)

• A Hierarchical Network Model for Road Traffix Control

  Vrancken, JLM., van Schuppen, JH., dos Santos Soares, M. & Ottenhof, F., 2009, Proceedings of the IEEE International Conference on Networking, Sensing and Control. Xinkai Chen, T. K. (ed.). Cityaqvxc: s.n., p. 340-344 5 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

• Concurrently Decomposable Constraint Systems

  Witteveen, C., van der Hoek, W. & Roos, N., 2009, Multiagent System Technologies, 7th German Conference, MATES Multiagent System Technologies MATES 2009. Braubach, L., van der Hoek, W., Petta, P. & Pokahr, A. (eds.). Berlin: Springer, p. 153-164 12 p. (Lecture Notes in Computer Science; vol. 5774).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  1 Citation (Scopus)

• Context-Aware Multi-Stage Routing

  ter Mors, AW., van Belle, J. & Witteveen, C., 2009, Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems. Decker, K., Sichman, JS., Sierra, C. & Castelfranchi, C. (eds.). IFAAMAS, p. 49-56 8 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  2 Citations (Scopus)

• Dynamic Symmetry Breaking by Simulating Zykov Contraction

  Schaafsma, B., Heule, MJH. & van Maaren, H., 2009, Theory and Applications of Satisfiability Testing -- SAT 2009. Kullmann, O. (ed.). Berlin: Springer, p. 223-236 14 p. (Lecture Notes in Computer Science; vol. 5584).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  26 Citations (Scopus)

• How to hide information for later use on networks

  Alpern, SR. & Fokkink, RJ., 2009, Proceedings of the 2009 International Conference on Game Theory for Networks. s.n. (ed.). Istanbul: IEEE Society, p. 653-657 5 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Multi-player Multi-issue Negotiation with Complete Information

  Wu, M., de Weerdt, M., La Poutré, H., Yadati, C., Zhang, Y. & Witteveen, C., 2009, Proceedings of the International Workshop on Agent-based Complex Automated Negotiations. p. 87-92 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit

  Verwer, SE., de Weerdt, MM. & Witteveen, C., 2009, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Dediu, AH., Ionescu, AM. & Martin-Vide, C. (eds.). Berlin: Springer, p. 740-751 12 p. (Lecture Notes in Computer Science; vol. 5457).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  9 Citations (Scopus)

• On the complexity of efficiency and envy-freeness in fair division of indivisible goods with additive preferences

  de Keijzer, B., Bouveret, S., Klos, TB. & Zhang, Y., 2009, Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Rossi, F. & Tsoukias, A. (eds.). Berlin: Springer, p. 98-110 13 p. (Lecture Notes in Computer Science; vol. 5783).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  Open Access
  41 Citations (Scopus)

• Plan coordination in Hospital Patient treatment

  Yadati, C., Witteveen, C. & Zhang, Y., 2009, Collaborative Agents -- REsearch and Development (CARE) 2009. Berlin: Springer, p. -

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Plan Repair in Conflict-Free Routing

  ter Mors, AW. & Witteveen, C., 2009, Proceedings of the The Twenty Second International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems IEA-AIE 2009. Chien, B-C., Hong, T-P., Chen, S-M. & Ali, M. (eds.). Berlin: Springer, p. 46-55 10 p. (Lecture Notes in Artificial Intelligence; vol. 5579).

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  7 Citations (Scopus)

• Post-hamiltonian formulation of physical systems containing memristors

  Jeltsema, D., 2009, Proceedings MATHMOD 09 Vienna. I. Troch, F. B. (ed.). Vienna, Austria: ARGESIM and ASIM, p. 617-628 12 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

• Temporal Decoupling and Determining Resource Needs of Autonomous Agents in the Airport Turnaround Process

  van Leeuwen, P. & Witteveen, C., 2009, IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technologies (WI-IAT 2009). Baeza-Yates, R., Lang, J., Mitra, S., Parsons, S. & Pasi, G. (eds.). Los Alamitos, USA: IEEE, p. 185-192 8 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  6 Citations (Scopus)

• Temporal linear system structure: The discrete-time case.

  van Willigenburg, LG. & de Koning, WL., 2009, Proceedings 10th European Control Conference (ECC'09). Bokor, J. (ed.). Budapest, Hungary: EUCA, p. 225-230 6 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

• Using a satisfiability solver to identify deterministic finite state automata

  Heule, MJH. & Verwer, SE., 2009, BNAIC 2009 Benelux Conference on Artificial Intelligence. Calders, T., Tuyls, K. & Pechenizkiy, M. (eds.). Eindhoven: BNAIC, p. 91-98 8 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  1 Citation (Scopus)
• 2008

  Autonomous Scheduling

  Yadati Narasimha, C., Witteveen, C., Zhang, Y., Wu, M. & La Poutré, J. A., 2008, Proceedings of the Foundations of Computer Science (FCS 2008). Arabnia, HR., Mun, Y. & Zhou, P. L. (eds.). s.l.: CSREA Press, p. 73-79 7 p.

  Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review