Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/amai/JarvisaloJN05
%A Järvisalo, Matti
%A Junttila, Tommi A.
%A Niemelä, Ilkka
%D 2005
%J Ann. Math. Artif. Intell.
%K
%N 4
%P 373-399
%T Unrestricted vs restricted cut in a tableau method for Boolean circuits.
%U http://dblp.uni-trier.de/db/journals/amai/amai44.html#JarvisaloJN05
%V 44
@article{journals/amai/JarvisaloJN05,
added-at = {2023-12-12T18:04:36.000+0100},
author = {Järvisalo, Matti and Junttila, Tommi A. and Niemelä, Ilkka},
biburl = {https://www.bibsonomy.org/bibtex/2389c987e6a6b784ad20f5d99cfe85614/admin},
date = {2006-01-17},
ee = {http://dx.doi.org/10.1007/s10472-005-7034-1},
interhash = {0d0faa798176a5b19e5268d51e5379d7},
intrahash = {389c987e6a6b784ad20f5d99cfe85614},
journal = {Ann. Math. Artif. Intell.},
keywords = {},
number = 4,
pages = {373-399},
timestamp = {2023-12-12T18:04:36.000+0100},
title = {Unrestricted vs restricted cut in a tableau method for Boolean circuits.},
url = {http://dblp.uni-trier.de/db/journals/amai/amai44.html#JarvisaloJN05},
volume = 44,
year = 2005
}