Gille Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon,
"Améliorer SAT dans le cadre incrémental"
, in Revue d'Intelligence Artificielle, Vol. 28, Nummer 5, Lavoisier, France, Seite(n) 593-614, 10-2014, ISBN: 978-2-7462-4689-8
Original Titel:
Améliorer SAT dans le cadre incrémental
Sprache des Titels:
Französisch
Journal:
Revue d'Intelligence Artificielle
Veröffentlicher:
Lavoisier, France
Volume:
28
Number:
5
Seitenreferenz:
593-614
Erscheinungsmonat:
10
Erscheinungsjahr:
2014
ISBN:
978-2-7462-4689-8
Anzahl der Seiten:
22
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift
Forschungs-