Markus Iser

Citirano

	Sve	Od 2020.
Citati	329	239
H-indeks	8	7
i10-indeks	8	5

200920102011201220132014201520162017201820192020202120222023202420252 2 4 5 2 10 9 11 21 18 24 33 53 55 67 7

Javni pristup

Prikaži sve

5 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Tomas BalyoFiluta AIPotvrđena adresa e-pošte na filuta.ai
Martin SudaCzech Technical University in PraguePotvrđena adresa e-pošte na cvut.cz
Matti JärvisaloProfessor of Computer Science, University of HelsinkiPotvrđena adresa e-pošte na helsinki.fi
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityPotvrđena adresa e-pošte na cs.cmu.edu
Nils FroleyksJohannes Kepler University, Linz, AustriaPotvrđena adresa e-pošte na jku.at
Armin BiereProfessor of Computer Science, University of FreiburgPotvrđena adresa e-pošte na informatik.uni-freiburg.de
Jakob BachFormer researcher at Karlsruhe Institute of Technology (KIT)Potvrđena adresa e-pošte na kit.edu
Tobias FuchsPhD student at Karlsruhe Institute of TechnologyPotvrđena adresa e-pošte na kit.edu
Norbert MantheyTU DresdenPotvrđena adresa e-pošte na tu-dresden.de
Christoph JabsDoctoral Researcher, University of HelsinkiPotvrđena adresa e-pošte na helsinki.fi
Eric SaxKarlsruhe Institute for TechnologyPotvrđena adresa e-pošte na kit.edu
Stefan OttenDepartment Manager, FZI Forschungszentrum InformatikPotvrđena adresa e-pošte na fzi.de
Ferhat ErataYale UniversityPotvrđena adresa e-pošte na yale.edu
Klemens BöhmUniv.-Prof. Dr.-Ing., IPD - Institute of Program Structures and Data OrganizationPotvrđena adresa e-pošte na kit.edu
Jeremias BergAcademy Research Fellow, University of HelsinkiPotvrđena adresa e-pošte na helsinki.fi
Tobias HeuerSoftware Engineer, eBayPotvrđena adresa e-pošte na kit.edu
Carsten SinzKarlsruhe University of Applied Sciences

Prati

Markus Iser

Karlsruhe Institute of Technology

Potvrđena adresa e-pošte na kit.edu - Početna stranica

Automated Reasoning Empirical Algorithmics Artificial Intelligence


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
SAT Competition 2020 N Froleyks, M Heule, M Iser, M Järvisalo, M Suda Artificial Intelligence 301, 103572, 2021	91	2021
SAT Race 2015 T Balyo, A Biere, M Iser, C Sinz Artificial Intelligence 241, 45-65, 2016	75	2016
Problem-Sensitive Restart Heuristics for the DPLL Procedure C Sinz, M Iser International Conference on Theory and Applications of Satisfiability …, 2009	22	2009
Minimizing Models for Tseitin-Encoded SAT Instances M Iser, C Sinz, M Taghdiri International Conference on Theory and Applications of Satisfiability …, 2013	18	2013
Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda Department of Computer Science, University of Helsinki, 2020	17	2020
A Problem Meta-Data Library for Research in SAT M Iser, C Sinz Proceedings of Pragmatics of SAT 59, 144-152, 2019	15*	2019
SAT Competitions (Web Content) M Heule, M Järvisalo, M Suda, M Iser, T Balyo	15*	2019
Recognition of Nested Gates in CNF Formulas M Iser, N Manthey, C Sinz International Conference on Theory and Applications of Satisfiability …, 2015	12	2015
Memory-Efficient Parallel SAT Solving with Inprocessing M Iser, T Balyo, C Sinz 2019 IEEE 31st International Conference on Tools with Artificial …, 2019	7	2019
Solver and benchmark descriptions T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda Proceedings of SAT Competition, 2020	6	2020
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers M Iser, F Kutzner, C Sinz 2017 IEEE 29th International Conference on Tools with Artificial …, 2017	6	2017
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod M Iser, M Taghdiri, C Sinz Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012	6	2012
Active Learning for SAT Solver Benchmarking T Fuchs, J Bach, M Iser International Conference on Tools and Algorithms for the Construction and …, 2023	5	2023
A Comprehensive Study of k-Portfolios of Recent SAT Solvers J Bach, M Iser, K Böhm 25th International Conference on Theory and Applications of Satisfiability …, 2022	5	2022
Recognition and Exploitation of Gate Structure in SAT Solving M Iser Karlsruhe Institute of Technology, Germany, 2020	5	2020
Integrating Static Code Analysis Toolchains M Kern, F Erata, M Iser, C Sinz, F Loiret, S Otten, E Sax 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019	5	2019
SAT COMPETITION 2022 T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda	3	2022
Unit Propagation with Stable Watches (Short Paper) M Iser, T Balyo 27th International Conference on Principles and Practice of Constraint …, 2021	3	2021
Construction of decision diagrams for product configuration M Popov, T Balyo, M Iser, T Ostertag International Workshop on Configuration, 108-117, 2023	2	2023
Oracle-Based Local Search for Pseudo-Boolean Optimization M Iser, J Berg, M Järvisalo Proceedings of the 26th European Conference on Artificial Intelligence (ECAI …, 2023	2	2023

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori