Learning in a compiler for MINSAT algorithms
-
Published:2003-05
Issue:03
Volume:3
Page:271-286
-
ISSN:1471-0684
-
Container-title:Theory and Practice of Logic Programming
-
language:en
-
Short-container-title:Theory and Practice of Logic Programming
Author:
REMSHAGEN ANJA,TRUEMPER KLAUS
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software