Deutsch
Open Access
Home
Search
Browse
Publish
FAQ
Schließen
Faculty/Chair
Fakultät 1 MINT - Mathematik, Informatik, Physik,...
FG Programmiersprachen und Compilerbau
Refine
Author
Hofstedt, Petra
(92)
Löffler, Sven
(34)
Liu, Ke
(23)
Becker, Ilja
(10)
Schölzel, Mario
(10)
Frank, Stephan
(9)
Sauer, Peter
(8)
Vörtler, Thilo
(7)
Bachmann, Peter
(6)
Höckner, Benny
(6)
+ more
Year of publication
2023
(4)
2022
(4)
2021
(4)
2020
(6)
2019
(13)
2018
(6)
2017
(6)
2016
(1)
2015
(9)
2014
(3)
2013
(5)
2012
(7)
2011
(5)
2010
(5)
2009
(3)
2008
(4)
2007
(4)
2006
(8)
2005
(4)
2004
(3)
2003
(7)
2002
(3)
2001
(5)
2000
(3)
1999
(1)
1998
(1)
1997
(1)
- less
Document Type
Conference Proceeding
(60)
Conference publication peer-reviewed
(32)
Doctoral thesis
(7)
Scientific journal article peer-reviewed
(6)
Scientific journal article not peer-reviewed
(4)
Part of a book (chapter)
(4)
Report
(4)
Book
(3)
Article
(2)
Book (publisher)
(1)
+ more
Language
English
(89)
German
(35)
Multiple languages
(1)
Keywords
Constraint Programming
(17)
Artificial Intelligence
(6)
Constraint Satisfaction Problems
(4)
Constraint Solving
(3)
Constraint Transformation
(2)
Declarative Programming
(2)
Deklarative Programmierung
(2)
Machine Learning
(2)
Optimization
(2)
Beacon Placement
(1)
+ more
Institute
FG Programmiersprachen und Compilerbau
(125)
FG Angewandte Medienwissenschaften
(1)
FG Datenbank- und Informationssysteme
(1)
FG Technische Informatik
(1)
BTU
an der BTU erstellt / created at BTU
(70)
nicht an der BTU erstellt / not created at BTU
(1)
125
search hits
1
to
20
Export
BibTeX
CSV
RIS
XML
20
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Constraint-Based Filtering and Evaluation of CSP Search Trees
(2023)
Bels, Maximilian
;
Löffler, Sven
;
Becker, Ilja
;
Hofstedt, Petra
Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach
(2023)
Löffler, Sven
;
Becker, Ilja
;
Bückert, Carlo
;
Hofstedt, Petra
Planung des Ländlichen On-Demand-Verkehr - Probleme, Analyse und Algorithmen
(2023)
Löffler, Sven
;
Becker, Ilja
;
Hofstedt, Petra
;
Nitze, Andre
;
Hennig, Silvia
;
Klinge, Alexander
A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem
(2023)
Löffler, Sven
;
Becker, Ilja
;
Hofstedt, Petra
ML-based Automation of Constraint Satisfaction Model Transformation and Solver Configuration
(2022)
Becker, Ilja
;
Löffler, Sven
;
Hofstedt, Petra
Optimal Beacon Placement for Indoor Positioning Using Constraint Programming
(2022)
Löffler, Sven
;
Kroll, Franz
;
Becker, Ilja
;
Hofstedt, Petra
Automatic Detection of Timed-up and Go Tests with IMU Sensor Data
(2022)
Kroll, Franz
;
Löffler, Sven
;
Becker, Ilja
;
Hofstedt, Petra
Optimierung und Regularisierung von Constraint Satisfaction-Problemen (CSPs)
(2022)
Löffler, Sven
Parallel Constraint Solving for Combinatorial Problems
(2021)
Liu, Ke
ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints
(2021)
Löffler, Sven
;
Becker, Ilja
;
Hofstedt, Petra
A Survey of Constraint Transformation Methods
(2021)
Löffler, Sven
;
Becker, Ilja
;
Kroll, Franz
;
Hofstedt, Petra
Constraints
(2021)
Hofstedt, Petra
;
Löffler, Sven
Parallel Stochastic Portfolio Search for Constraint Solving
(2019)
Liu, Ke
;
Löffler, Sven
;
Hofstedt, Petra
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers
(2020)
Exploring Properties of Icosoku by Constraint Satisfaction Approach
(2020)
Liu, Ke
;
Löffler, Sven
;
Hofstedt, Petra
The Regularization of Small Sub-Constraint Satisfaction Problems
(2020)
Löffler, Sven
;
Liu, Ke
;
Hofstedt, Petra
Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem
(2020)
Löffler, Sven
;
Liu, Ke
;
Hofstedt, Petra
An Introduction of FD-Complete Constraints
(2020)
Löffler, Sven
;
Liu, Ke
;
Hofstedt, Petra
Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach
(2020)
Löffler, Sven
;
Liu, Ke
;
Hofstedt, Petra
Gestaltung der Mensch-Computer-Interaktion zur Entscheidungsunterstützung in Planungssystemen
(2018)
Prenzel, Anna
1
to
20
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.