Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Csaba Biró
Publications
Puli - A Problem-Specific OMT Solver
Gergely Kovásznai
,
Csaba Biró
and
Balázs Erdélyi
EasyChair Preprint 371
Keyphrases
Knapsack
,
OMT
,
SMT
,
Wireless Sensor Network
,
WSN
.
Copyright © 2012-2025 easychair.org. All rights reserved.
