Travelled to:1 × The Netherlands
Collaborated with:O.Semeráth C.Debreceni D.Varró
Talks about:synthesi (1) solver (1) propag (1) model (1) logic (1) chang (1) view (1) use (1) sat (1)
Person: Ákos Horváth 0001
DBLP: 0001:=Aacute=kos_Horv=aacute=th
Contributed to:
2016Wrote 1 papers:
- BX-2016-SemerathDHV #co-evolution #logic #modelling #satisfiability #synthesis #using
- Change Propagation of View Models by Logic Synthesis using SAT solvers (OS, CD, ÁH0, DV), pp. 40–44.