Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Nils Christian Froleyks

Nils Froleyks

> Home > Persons

Person information

affiliation: Johannes Kepler University, Linz, Austria

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-04297
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-04297
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko:
Certifying Phase Abstraction. CoRR abs/2405.04297 (2024)
2023
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/YuFBH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/YuFBH23
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko:
Towards Compositional Hardware Model Checking Certification. FMCAD 2023: 1-11
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/FroleyksYB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/FroleyksYB23
Nils Froleyks, Emily Yu, Armin Biere:
BIG Backbones. FMCAD 2023: 162-167
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sat/BiereFW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BiereFW23
Armin Biere, Nils Froleyks, Wenxi Wang:
CadiBack: Extracting Backbones with CaDiCaL. SAT 2023: 3:1-3:12
[c6]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sat/BiereFFH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BiereFFH23
Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule:
The SAT Museum. POS@SAT 2023: 72-87
2022
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/YuFBH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/YuFBH22
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko:
Stratified Certification for k-Induction. FMCAD 2022: 59-64
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-01443
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-01443
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko:
Stratified Certification for k-Induction. CoRR abs/2208.01443 (2022)
2021
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ai/FroleyksHIJS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/FroleyksHIJS21
Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda:
SAT Competition 2020. Artif. Intell. 301: 103572 (2021)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/artsit/BalyoF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/artsit/BalyoF21
Tomás Balyo, Nils Froleyks:
AI Assisted Design of Sokoban Puzzles Using Automated Planning. ArtsIT 2021: 424-441
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/FroleyksB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/FroleyksB21
Nils Froleyks, Armin Biere:
Single Clause Assumption without Activation Literals to Speed-up IC3. FMCAD 2021: 72-76

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/socs/FroleyksBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/FroleyksBS19
Nils Christian Froleyks, Tomás Balyo, Dominik Schreiber:
PASAR - Planning as Satisfiability with Abstraction Refinement. SOCS 2019: 70-78
2017
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/socs/FroleyksB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/FroleyksB17
Nils Christian Froleyks, Tomás Balyo:
Using an Algorithm Portfolio to Solve Sokoban. SOCS 2017: 165-166

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.