Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Iser, Markus
58  Ergebnisse:
Personensuche X
?
1

Active Learning for SAT Solver Benchmarking:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Fuchs, Tobias ; Bach, Jakob ; Iser, Markus - p. 407-425 , 2023
Link: https://doi.org/10.1007/..
 
?
2

SAT Competition 2020:

Froleyks, Nils ; Heule, Marijn ; Iser, Markus..
Artificial Intelligence.  301 (2021)  - p. 103572 , 2021
Link: https://doi.org/10.1016/..
 
?
3

Recognition and Exploitation of Gate Structure in SAT Solvi..:

Iser, Markus , 2020
Link: https://nbn-resolving.de..
 
?
4

Memory Efficient Parallel SAT Solving with Inprocessing:

, In: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI),
Iser, Markus ; Balyo, Tomas ; Sinz, Carsten - p. 64-70 , 2019
Link: https://doi.org/10.1109/..
 
?
5

SAT Race 2015:

Balyo, Tomáš ; Biere, Armin ; Iser, Markus.
Artificial Intelligence.  241 (2016)  - p. 45-65 , 2016
Link: https://doi.org/10.1016/..
 
?
6

Genotype-dependent Stable Genetic Transformation in German ..:

Iser, Markus ; Fettig, Sebastian ; Scheyhing, Frank..
Journal of Plant Physiology.  154 (1999)  4 - p. 509-516 , 1999
Link: https://doi.org/10.1016/..
 
?
7

Regeneration of German spring wheat varieties from embryoge..:

Viertel, Kirsten ; Schmid, Angela ; Iser, Markus.
Journal of Plant Physiology.  152 (1998)  2-3 - p. 167-172 , 1998
Link: https://doi.org/10.1016/..
 
?
8

Udopia/gbd: gbd-tools-4.7.0:

Iser, Markus
https://publikationen.bibliothek.kit.edu/1000167600.  , 2024
Link: https://publikationen.bi..
 
?
9

Oracle-Based Local Search for Pseudo-Boolean Optimization:

Iser, Markus ; Berg, Jeremias ; Järvisalo, Matti
10.3233/FAIA230387.  , 2024
Link: http://hdl.handle.net/10..
 
?
10

Construction of Decision Diagrams for Product Configuration:

Popov, Maxim ; Balyo, Tomáš ; Iser, Markus.
Proceedings of the 25th International Workshop on Configuration (ConfWS 2023).  , 2023
Link: http://hdl.handle.net/10..
 
?
11

Experimental Data for the Paper "A Comprehensive Study of k..:

Bach, Jakob ; Iser, Markus
https://dx.doi.org/10.35097/1331.  , 2023
Link: https://doi.org/10.35097..
 
?
12

Decision Heuristics in a Constraint-based Product Configura..:

Gorenflo, Matthias ; Balyo, Tomáš ; Iser, Markus.
Proceedings of the 25th International Workshop on Configuration (ConfWS 2023).  , 2023
Link: http://hdl.handle.net/10..
 
?
13

Decision Heuristics in a Constraint-based Product Configura..:

Gorenflo, Matthias ; Balyo, Tomáš ; Iser, Markus.
CEUR workshop proceedings.  , 2023
Link: https://publikationen.bi..
 
?
14

Active Learning for SAT Solver Benchmarking:

Fuchs, Tobias ; Bach, Jakob ; Iser, Markus
Lecture Notes in Computer Science.  , 2023
Link: https://publikationen.bi..
 
?
15

Construction of Decision Diagrams for Product Configuration:

Popov, Maxim ; Balyo, Tomáš ; Iser, Markus.
CEUR workshop proceedings.  , 2023
Link: https://publikationen.bi..
 
1-15