sign in · help · news · about ·

BibSonomy :: user :: big ::

tag user group author concept BibTeX key search:all search:big

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(1)

<< < 1 > >>

A Solver for QBFs in Nonprenex Form: Overview and Experimental Results
Uwe Egly, Martina Seidl, and Stefan Woltran Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, (2006)
to imported by big and 1 other user on Dec 18, 2008, 9:41 AM
BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper